Make sys alarm setitimer getitmer configurable