hypervisor: added tick_counter initialization