cpu_get_instruction_counter() stub.