kernel: prepend kernel elements with hrt