I'm using Ubuntu 20-04 (LTS) x64 - try to get kernel managed. Documentation seems not maintained.
And I'm in doubt about what benefits should be.
It seems that the kernel management is not supported any longer. Please fix the documentation and take "kernel" menu away. --> I have lost "console" feature after fumbling with this :-(
Just waisted some life on something that turned out to be rubbish, but still paying invoice.