[coreboot] [commit] r6223 - in trunk: . payloads/external/SeaBIOS src src/arch/x86 util/abuild