kernconf.5: Add info on 64-bit kernels & improve markup