The pulpino_timer driver does not implement TICKLESS_IDLE for the time being. Change-Id: I0cce8c8a7e203d551a924863462e6c86af4c98ff Signed-off-by: Jean-Paul Etienne <fractalclone@gmail.com>