relocate_kernel_32.S revision 40b0b3f8
1