Move Linux kernel up to 3.7.4 again