Raspi 4 does not boot with the HDMI cable plugged in