An update on this: the armel architecture is *not* affected, and this seems to be an armhf specific issue (tested by running an armel VM on the same hardware).
I'd appreciate if anyone knowledgeable about this could have a look. Thanks, M. -- Jazz is not dead. It just smells funny. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org