SVC: Added support for svc_GetSystemTick.

Also, why not make this a static inline function taking a 64 bit value?