Re: [coreboot] kernel panics reserving EBDA pages