switch to buddy allocation of kernel virtual memory

Signed-off-by: Boris Figovsky <borfig@gmail.com>