[sr-dev] git:master: modules_k/pv: fix 64bit bug.