linux3.10: update to 3.10.7.