How to fix a pi4 piMiga running slow on a 4K TV/monitor