Re: [coreboot] #129: Add support for high_tables_base for all chipsets that don't support it yet.