Re: [coreboot] Accessing "high tables" from coreboot from Linux