PAX ASLR: Apply style(9) to kern_pax.c