Make kernel stay executable