Is there a way to live patch the kernel on Mendel? I\'m looking to deploy the coral dev kit and need a way to ensure that it is up to date with the latest kernel security up