reboot_fixups_32.c revision 0387f451
1