linux3.10: update to 3.10.20.
linux3.11: update to 3.11.9.
linux3.12: update to 3.12.1.