14 (count 'em, fourteen) dictionaries which list hallux

Silly me. I was looking it up in Latin dictionaries.

Aha!

From the AHD:

Medieval Latin hallux, blend of Latin allus, hallus, thumb, and Latin hallex, big toe.

AHD gives the etymology of pollex as Latin, thumb, big toe.