Switch to nAa kernel and use newer gcc