[coreboot] Re: Reserve Device DRAM