The following registers, Load registers, Load_Counter_Reg, Write_Load_Reg and others, are not set to '0' in the hardware after core reset. This is not according to the data sheet.
Solution
This issue has been fixed in the latest release of the xps_timer_v1_01_a core and is available in EDK 11.1.