FLASH@0xFF000000 16M { BIOS { RW_MRC_CACHE 64K COREBOOT(CBFS) PSP_NVRAM(PRESERVE) 128K PSP_RPMC_NVRAM(PRESERVE) 64K FMAP 4K } }