armhf: illegal hardware instruction

Dear all,

I am trying to track down Debian issue #928224.

Here is what i did:

% dpkg --print-architecture
armhf
% cat /proc/cpuinfo | grep vfpv3 | head -1
Features        : half thumb fastmult vfp edsp thumbee vfpv3 tls idiva
idivt vfpd32 lpae
% wget https://sourceware.org/pub/valgrind/valgrind-3.19.0.tar.bz2
% sha1sum valgrind-3.19.0.tar.bz2
294c341b421b4d9534e42e8125f509c148f48c17  valgrind-3.19.0.tar.bz2
% tar xf valgrind-3.19.0.tar.bz2
% cd valgrind-3.19.0
% ./configure
% make
% file ./memcheck/memcheck-arm-linux
./memcheck/memcheck-arm-linux: ELF 32-bit LSB executable, ARM, EABI5
version 1 (SYSV), statically linked,
BuildID[sha1]=2babd38ca38e37093356f19df2485f4caf8eb1a0, with
debug_info, not stripped
% strace ./memcheck/memcheck-arm-linux
execve("./memcheck/memcheck-arm-linux",
["./memcheck/memcheck-arm-linux"], 0xbe962730 /* 19 vars */) = 0
--- SIGILL {si_signo=SIGILL, si_code=ILL_ILLOPC, si_addr=0x58072020} ---
+++ killed by SIGILL +++
zsh: illegal hardware instruction  strace ./memcheck/memcheck-arm-linux

Could someone confirm arm32/linux is supported in the latest release ?

This is a Debian/sid system.

Thanks much,