linux3.12: update to 3.12.19.