Ah, it seems that Raspbian built for ARMv6 but still used the ABI tag "armhf", how confusing; I guess Alpine has done something similar.

https://wiki.debian.org/RaspberryPi#Raspberry_Pi_OS_.28forme...