hw/acpi/tco.c: fix tco timer stop