[coreboot] [PATCH] Complete AMD erratum 343 workaround