KGDB: Notify GDB of machine halt, reboot or power off