linux3.12: update to 3.12.4.
linux3.10: update to 3.10.23.