Yes, 5.9 Light comes with two different kernels, "188.8.131.52" and "ide-184.108.40.206". The first one is the default one. However, if you choose to install the "ide" version, it becomes the first choice. The first three choices on the boot menu all use the same kernel, just different options. For Light, choice #4 is the different kernel (assuming no other OS involved).
If the installer launches using the default kernel, I would recommend UN-checking the optional one during install.