[coreboot] [FILO] #18: SD card support in FILO