Custom Buildroot based Linux system for Cyclone V SoC fails to work with OpenCL RTE: "Board name /dev/acl0 is not available"

As described in some other post here, I need a Linux System with up-to-date stdlibs for my OpenCL-Based application targeting a Terasic DE10-Standard board. As the well working Linux image available...