arch/tile: fix up some issues in calling do_work_pending()