This also removes an unsed function, that I found because it used
timer_delay().

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>