use LibPlatSupportHaveTimer instead of inverse#104

Indanz merged 1 commit into

seL4:masterseL4/seL4_libs:masterfrom

midnightveil:julia/have-timer-renameCopy head branch name to clipboard