PLATFORMS.md: Add SH4 to Linux.
Add of_time_interval_t.

This is used instead for time intervals now instead of doubles.