there is a confusion about "halium kernel" so let's use clearer terminology to make it less confusing