Fixes user-kernel memory mapping