linux: fix MACHINE_KERNEL_PR support

apparently broken since OpenPLi 4
Merge branch 'master' of git://git.code.sf.net/p/openpli/openpli-oe-core