[coreboot] kernel panics reserving EBDA pages