Re: [coreboot] [PATCH] Fix AMD 690 HIGH_TABLES