[coreboot] Externally flashing Coreboot using microSD as external programmer