kernel: Update to 3.9.4.