Linux Device Drivers 3 examples updated to work in recent kernels