Re: [coreboot] SeaBIOS HAVE_HIGH_TABLES