lib/extable.c: remove an expensive integer divide in search_extable()