got good starting point from http://wiki.osdev.org/64-bit_Higher_Half_Kernel_with_GRUB_2