O método dado nesse blog está correto. A seguir, você terá um kernel com o qual poderá inicializar. O pirut é útil, mas nenhuma ferramenta gráfica é um substituto para saber o que você está fazendo.
Eu tenho 3 máquinas idênticas (hardware sábio) que todas têm o RHEL 5.3 instalado. 2 dessas máquinas têm o kernel Xen e um não. Não consigo instalar drivers da nvidia naqueles que têm o kernel xen e por isso fiquei me perguntando como consegui fazer isso e como substituí-los por kernels normais. Isso aconteceu durante o tempo de instalação, quando, por exemplo, fui consultado sobre determinados componentes a serem instalados? (desenvolvimento, virtualização, servidor web)
UPDATE: Acabei de ler em algum lugar que "o VMware está em conflito com o hipervisor Xen no kernel do Linux, tornando seu uso mutuamente exclusivo", então meu palpite é que o problema é devido ao componente de virtualização que eu selecionei durante a instalação
UPDATE2: Acabei de ler como fazer isso (usando pirut), mas mesmo assim há um bug conhecido Red Hat Bugzilla - Bug 441704 talvez os usuários não fizeram certo, então eu vou seguir o procedimento aqui Mudando para um kernel não-xen no CentOS 5 e se isso falhar eu simplesmente terei que reinstalar RHEL do zero.
UPDATE3: Ok, esse link funcionou. a única coisa extra que eu tive que fazer para instalar o driver era: yum install kernel-devel