Selecting an alternative kernel

I'm building a configuration in which I need to use on of the alternate kernels supplied in the 8.1 distribution. I tried adding it as a package but it wound up installing both packages (k_smp and k_psmp). What is the correct way to specify what kernel package to load? SteveN