If I may add my 1penny, I think option 2 would be better (or 3 but that seems a bit less pretty). The reason for it being tha some might need support from the backport kernel at installation. And I think option 1 would only allow to install a different kernel, but not to boot it for the installation.
If I may add my 1penny, I think option 2 would be better (or 3 but that seems a bit less pretty). The reason for it being tha some might need support from the backport kernel at installation. And I think option 1 would only allow to install a different kernel, but not to boot it for the installation.