Linux kernel 4.12 RC6