For the sake of interest, I installed kernel 4.9 from the opensuse kernel stable repo. The scaling works as expected with this kernel. So there is definitely something odd with the configuration for kernel 4.4