Failure Resilience for Device Drivers