Linux kernel: update to 3.9.3