Fix GUI instability discussed in raspberrypi/noobs@5d4d793.)