Retropei won't boot properly after picade x hat installation

It sounds similar to the first of the two problems I hit, which I’ve just written up here: RPi4-based Picade Retropie Installation Issues - Solved!