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