Files: /kernel/x86_64/powerpc/kaslr-booke32.html