Fix boot with GCC 4.8.2 thanks to Keff91