[coreboot] r3271 - trunk/payloads/libpayload/libc