* Properly fix symbol CRC generation * Fix use of code32_start in the EFI boot stub * Re-add MTD_NAND to the configuration to support ricoh sd card readers (FS#25889)