Add init annotations to kernel objects from azul