sept: fixes to work with new hwinit/etc

sept/sept-secondary/src/main.c

@@ -18,6 +18,7 @@
 #include "exception_handlers.h"
 #include "panic.h"
 #include "hwinit.h"
+#include "car.h"
 #include "di.h"
 #include "se.h"
 #include "pmc.h"
@@ -93,13 +94,13 @@ static void exfiltrate_keys_and_reboot_if_needed(uint32_t version) {
 static void display_splash_screen(void) {
     /* Draw splash. */
     draw_splash((volatile uint32_t *)g_framebuffer);
-    
+
     /* Turn on the backlight. */
     display_backlight(true);
-    
+
     /* Ensure the splash screen is displayed for at least one second. */
     mdelay(1000);
-    
+
     /* Turn off the backlight. */
     display_backlight(false);
 }
@@ -118,7 +119,7 @@ static void setup_env(void) {
 
     /* Set the framebuffer. */
     display_init_framebuffer(g_framebuffer);
-    
+
     /* Set up the exception handlers. */
     setup_exception_handlers();
 
@@ -129,7 +130,7 @@ static void setup_env(void) {
 static void cleanup_env(void) {
     /* Unmount the SD card. */
     unmount_sd();
-    
+
     /* Terminate the display. */
     display_end();
 }
@@ -164,7 +165,7 @@ int sept_main(uint32_t version) {
 
     /* Load the loader payload into DRAM. */
     load_stage2();
-    
+
     /* Display the splash screen. */
     display_splash_screen();