Hi Peter,
Because we support different distros we imported the base kernels that we use in each of the Distros. This is for two reasons.
1. We are reworking how we handle images and separating out the kernel from the image, so this way we can do system updates on the OS and then just load any specific kernel.
2. We are looking to allow users to import their own kernels so we needed to populate the list with the original kernels that they would default back to.
We try to keep the kernels as consistent as possible between the distros so there shouldn't be a major difference between security and/or performance.
