thanks for your reply! Since the problem never occured when not using XRDP and since I have other more disturbing problems while making my first experiments with ACRN, I will try the same kernel without ACRN at a later point in time. Thanks for your advice!
