Kernel updated to 4.12-rc4