nevermind, I believe I answered it myself. I had noticed the kernels directory but thought that it was only for bootdisk kernels. But, they are in the bootdisks directory
. I believe one of the kernels in the kernels directory will work for me. Thanks.