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

UCC git Repository :: git.ucc.asn.au