PAX ASLR: change hard-coded function names in debug messages

Signed-off-by: Oliver Pinter <oliver.pntr@gmail.com>
PAX ASLR: change CTLFLAG_RW|CTLFLAG_TUN to CTLFLAGS_RWTUN

Signed-off-by: Oliver Pinter <oliver.pntr@gmail.com>
Fix typo
Fix a bug regarding ASLR sysctl knobs
Add VTOC8 support to SEC kernel in order to build sparc64 ISOs