reboot_fixups_32.c revision b2441318
1