relocate_kernel_32.S revision 288621e3
1