kernel: update to 3.7.2.