Hey, there were some issues with the original 2020.03.14 image, you should use this one to get started: [Beta] Patchbox OS image 2020-11-23
The biggest difference is that it contains the stock kernel image, but once the realtime one, compatible with all Pi models, is available, it will be made available through the patchbox utility. 
So if you’d like to get 8GB Pi4, it should be good to go.