Testing Kernel Restart(!462)