hw/arm/armsse: Add support for TYPE_SSE_TIMER in ARMSSEDeviceInfo