rockchip: rk3399: DTS video output/menu support on Pinephone Pro

See comments in the DT.

Signed-off-by: Ondrej Jirman <megi@xff.cz>

arch/arm/dts/rk3399-pinephone-pro-u-boot.dtsi

@@ -1,22 +1,86 @@
 // SPDX-License-Identifier: GPL-2.0+
 /*
  * Copyright (C) 2022 Peter Robinson <pbrobinson at gmail.com>
+ * Copyright (C) 2024 Ondrej Jirman <megi@xff.cz>
  */
 
 #include "rk3399-u-boot.dtsi"
 #include "rk3399-sdram-lpddr4-100.dtsi"
 
-&sdhci {
+/ {
-	max-frequency = <25000000>;
+	/*
+	 * Hard-reset the board after soft reset.
+	 */
+	config {
+		sysreset-gpio = <&gpio1 RK_PA6 GPIO_ACTIVE_HIGH>;
+	};
+
+	/*
+	 * Change key meanings to better suit U-Boot boot menu navigation.
+	 */
+	adc-keys {
+		button-up {
+			press-threshold-microvolt = <10000>;
+			linux,code = <KEY_UP>;
+		};
+
+		button-down {
+			press-threshold-microvolt = <290000>;
+			linux,code = <KEY_DOWN>;
+		};
+	};
+
+	gpio-keys {
+		key-power {
+			linux,code = <KEY_ENTER>;
+		};
+	};
 };
 
+/*
+ * Disable the other MIPI-DSI interface (used for camera)
+ */
+&mipi_dsi1 {
+	status = "disabled";
+};
+
+/*
+ * Disable WiFi SDIO interface
+ */
+&sdio0 {
+	status = "disabled";
+};
+
+/*
+ * Upstream has SDR104 disabled, but it works. Enable it to speed up
+ * boot from uSD card.
+ */
 &sdmmc {
-	max-frequency = <20000000>;
+	sd-uhs-sdr104;
 };
 
+/*
+ * Upstream does not have SPI chip defined.
+ */
 &spi1 {
 	flash@0 {
 		bootph-pre-ram;
 		bootph-some-ram;
 	};
 };
+
+/*
+ * Disable big VOP so that it does not confuse U-Boot video code.
+ */
+&vopb {
+	status = "disabled";
+};
+
+/*
+ * Setting these clocks is hardcoded in rockchip clk driver for now.
+ */
+&vopl {
+	/delete-property/ assigned-clocks;
+	/delete-property/ assigned-clock-rates;
+	/delete-property/ assigned-clock-parents;
+};