This also removes an unsed function, that I found because it used
timer_delay().
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>