Additional delays

src/info.c

@@ -71,6 +71,7 @@ static unsigned int old_cpu = -1;
        RPI_PropertyProcess();
        calculate_cpu_timings();
        old_cpu = cpu;
+       delay_in_arm_cycles_cpu_adjust(50000000);
    }
 }
 
@@ -86,6 +87,7 @@ static unsigned int old_core = -1;
        RPI_AuxMiniUartInit(115200, 8);
 #endif
        old_core = core;
+       delay_in_arm_cycles_cpu_adjust(50000000);
    }
 }
 
@@ -96,6 +98,7 @@ static unsigned int old_sdram = -1;
        RPI_PropertyAddTag(TAG_SET_CLOCK_RATE, SDRAM_CLK_ID, sdram, 0);
        RPI_PropertyProcess();
        old_sdram = sdram;
+       delay_in_arm_cycles_cpu_adjust(50000000);
    }
 }
 

src/rgb_to_hdmi.c

@@ -3380,7 +3380,7 @@ void rgb_to_hdmi_main() {
 
          if (!osd_active() && reboot_required) {
              // Wait a while to allow UART time to empty
-             delay_in_arm_cycles_cpu_adjust(1000000000);
+
              if (resolution_warning != 0) {
                  osd_set_clear(0, 0, "If there is no display with new setting:");
                        osd_set(1, 0, "Hold menu button during reset until you");
@@ -3393,6 +3393,8 @@ void rgb_to_hdmi_main() {
                      osd_set_clear(4, 0, osdline);
                      delay_in_arm_cycles_cpu_adjust(1000000000);
                   }
+             } else {
+                delay_in_arm_cycles_cpu_adjust(1000000000);
              }
              reboot();
          }