FLASH@0xFF000000 16M {
	BIOS {
		EC 4K
		RW_MRC_CACHE 120K
		FMAP 4K
		COREBOOT(CBFS)
	}
}