I was wondering if there was a dedicated place for armhf discussions to avoid bothering debian-arm in general, or if this is the place to do it. -- Len Sorensen