I wasn’t suggesting you do. I was just illustrating that the kernel can be updated as part of the normal firmware upgrade.