revised kvmalloc on QEMU and REAL