core/sys/rtimer.c: delete extra blank line