[PATCH] x86-64: Relocatable Kernel Support