[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC