You almost certainly don't need to download anything (except for documentation if you need it). It is highly likely that your redhat box already comes with a suitable kernel and tools.

Slarty