[coreboot] Re: BIOS chip address range?