boot32_memcpy
#define BCOPY(s, d, c) boot32_memcpy((void *)LOADADDR(d), (s), (c))
extern void *boot32_memcpy(void *, const void *, size_t);