PAX ASLR: Apply style(9) to kern_pax.c
PAX ASLR: Add PAX_ASLR kernel option to amd64/NOTES
PAX ASLR: Add locking to the ASLR SYSCTLs
PAX ASLR: Apply more style(9) changes to kern_pax.c