[coreboot] Patch set updated for coreboot: af7e4d4 Fix AMD SB800 (cimx) southbridge code to compile with gcc 4.6