On Tue, 10 Dec 2019 22:32:29 +0000, s@po wrote in message
<20191210223229.13b34daeb0ce03b64f74d2b1@???>:

> Even tough that the Userspace is Armel, the Kernel is armhf..

...which was raspberrypi.org's big messy goof, calling their
debian armel architecture fork "armhf", rather than calling
their first product e.g. "raspberrypi" or some such original
name for their first original armel_6_+7ish_hard_float arch.


..maybe the old trick still works?:
https://github.com/laher/goxc/issues/18
http://www.linuxsystems.it/raspbian-wheezy-armhf-raspberry-pi-minimal-image/comment-page-1/#comments
https://blogs.oracle.com/jtc/is-it-armhf-or-armel

--
..med vennlig hilsen = with Kind Regards from Arnt Karlsen
...with a number of polar bear hunters in his ancestry...
Scenarios always come in sets of three:
best case, worst case, and just in case.