hw/arm/armsse: Move s32ktimer into data-driven framework