linux3.12: update to 3.12.11.
linux3.13: update to 3.13.3.