linux3.8: update to 3.8.12.