6800448 fix for 6726575 introduced floating-point into the kernel

6726575 ipfilter needs to be able to do randomised port mapping
6730614 random port numbers are in the wrong range of numbers