Re: [coreboot] #129: etherboot payload does not work with HIGH_TABLES (was: Add support for high_tables_base for all chipsets that don't support it yet.)