Make the kernel text R-X by default.