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