[rbp] hack: wait for splash to complete before changing hdmi mode