this is armhf in Ubuntu, as always configured --with-arch=armv7-a --with-fpu=vfpv3-d16 --with-float=hard --with-mode=thumb
this is armhf in Ubuntu, as always configured fpu=vfpv3- d16 --with-float=hard --with-mode=thumb
--with-arch=armv7-a --with-