Add modules for stage-1 display init

configuration.nix

@@ -17,6 +17,39 @@ in
 
   boot.kernelPackages = pkgs.linuxPackages_pinebookpro;
 
+  # This list of modules is not entirely minified, but represents
+  # a set of modules that is required for the display to work in stage-1.
+  # Further minification can be done, but requires trial-and-error mainly.
+  boot.initrd.kernelModules = [
+    # Rockchip modules
+    "rockchip_rga"
+    "rockchip_saradc"
+    "rockchip_thermal"
+    "rockchipdrm"
+
+    # GPU/Display modules
+    "analogix_dp"
+    "cec"
+    "drm"
+    "drm_kms_helper"
+    "dw_hdmi"
+    "dw_mipi_dsi"
+    "gpu_sched"
+    "panel_simple"
+    "panfrost"
+    "pwm_bl"
+
+    # USB / Type-C related modules
+    "fusb302"
+    "tcpm"
+    "typec"
+
+    # Misc. modules
+    "cw2015_battery"
+    "gpio_charger"
+    "rtc_rk808"
+  ];
+
   sdImage = {
     manipulateImageCommands = ''
       (PS4=" $ "; set -x