New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/30515#issuecomment-831622112

Comment:
Have you run `xbps-pkgdb -a` on the affected device? And you could `diff` the output of `xbps-query -l` to see what's up.

Finally, random guess, how many cores does the CPU have? Does `taskset -c 0-3 FreeCAD` make it work?