Build fix for !CONFIG_GDBSTUB case