Current timer code for ARM EFI is horror. Can anyone test this?