[coreboot] libpayload/libc/memory.c copied from buggy HelenOS code