relocate_kernel_32.S revision f94909ce
1