Undo removal of kernel-PAE.
    
    This was a bit of an emergency hack done before the last least for split
    media. We want to at least start out not doing this.