stmhal: Fix pyb.bootloader so it works for gcc-4.9.0.

See PR #618.