DTC fork for qemu-counter example