Update boot_mem.c