FLASH@0xFF000000 16M {
	BIOS {
		EC 0x20000
		RW_MRC_CACHE 0x10000
		FMAP 0x1000
		COREBOOT(CBFS)
	}
}