Why Use Linux for Device Drivers?