Re: highpte.h error when upgrading kernel.