When a driver challenges the kernel's assumptions