D31189 fixes PR 254695 and another independent issue. D31189 will be split. tuexen@ will provide the fix for PR 254695, rrs@ will work on the other thing independently.
PR 257195 seems like a mystery. tuexen@ will try to get more information, since he can reproduce this on an arm64 server with a NO-VIMAGE kernel.