In the meantime, http://kernel.suse.com/packages/stable has 4.20.2 which should have all the latest mitigations and improvements so if people wanna test...