linux3.10: update to 3.10.12.
linux3.11: update to 3.11.1.