[coreboot] SeaBIOS HAVE_HIGH_TABLES