Patches: linux kernel 3.12