[coreboot] Need HAVE_HIGH_TABLES for the Tyan S2916_fam10