Add kernel configuration for 64-bit Intel kernel

Config enables a bunch of new features:
* 64-bit kernel
* Support for more hypervisors including Xen domU and Hyper-V
* Lots of other tweaks I can't remember right now, browse through menuconfig

Change-Id: I64801b6d48b54ae0080ae6d5a1a52a085a52f32c