[coreboot] [PATCH] include workaround for AMD erratum 372