fix: hlt_init() was never called!