Hello, We have a problem with a RevPi Core 3 when setting resolution. We config resolution to 1280x720 (hdmi_mode=4) and it works normally.... However, it start at 640x480 sometimes. I has been working like one month without problem until a few days ago... Do you know some way to ensure that it boot...