More kernel features added; kernel now version 3.12.1