relocate_kernel_64.S revision 32cb4d02
1