Port 92bfe8398 "linux-gen: timer: check used timer pool priority"

Port original commit from linux-generic.

Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Tuomas Taipale <tuomas.taipale@nokia.com>
1 file changed