linux3.12: update to 3.12.2.
linux3.11: update to 3.11.10.