HBSD: hide random_pid in bsdinstall
The display of the 'random_pid' option is useless in HardenedBSD which already has this by default. This is the logical continuation of the patch: current --> stable13 --> stable12.
Useful for users who benefit from the new 12-STABLE/amd64 nightly build server.