Switch to PA-based kernel.