F17: kernel panic at shutdown