linux kernel watchdog bug soft lockup