Kernel - Change virtual memory API to use void* for virtual addresses

- General code cleanup while fixing compilation issues
Kernel - Fix compilation on x86_64 and armv7 (for MM changes)