Comment 12 for bug 1848790

Also can confirm that the arm64 image works on raspberry pi 4/4gb, 1080p HDMI. Still no sound device for bcm2835, but USB is happy, I am happy. Thanks for the quick turnaround