Use armv6k default for FreeBSD/ARM

Patch by Andrew Turner.