ltimer: use platsupport export where it makes sense#142

Indanz merged 2 commits into

seL4:masterseL4/sel4test:masterfrom

midnightveil:ltimer-use-platsupportmidnightveil/sel4test:ltimer-use-platsupportCopy head branch name to clipboard