Don't run hal_initialize() twice. Bug introduced in [19692].