It seems we have an issue with the timers with a dev-4.4 kernel running on the palmetto-bmc qemu machine.