SD-Card not working anymore on x86 targets