FLASH@0xFF800000 0x800000 {
	BIOS@0x0 {
		EC@0x0 0x21000
		RW_MRC_CACHE@0x21000 0x10000
		FMAP 0x1000
		COREBOOT(CBFS)
	}
}