Raspberry pi 4 - Wait for 4k HDR support or buy another board?