efi: Move relocate_kernel() to shared file.