kernel: Update to 3.12.4.