For comment #9 above: It turns out that the kernels are there in the menu list, if one scrolls down. It is just, for whatever reason, the menu now only shows 4 kernels at a time.
For comment #9 above: It turns out that the kernels are there in the menu list, if one scrolls down. It is just, for whatever reason, the menu now only shows 4 kernels at a time.