That didn't return anything.
I thought 5.0 and 5.1.2 used the same kernel, and the kernel-source-2.2.19-7.0.8.i386.rpm in that dir seems to verify that. Is the kernel version the only thing I need to be concerned with when installing the development stuff?