[HDe] Fix online kernel updates