Fix boot under Bochs when Pintos is compiled with recent GCC.