Flags for enabling FPU, openocd/gdb debugging session