As long as he's upgrading, yes they are, Red Hat fully supports those kernels.