Fix boot with GCC 4.7