Index: sys/external/gpl2/dts/dist/arch/arm/boot/dts/bcm2711-rpi-4-b.dts
===================================================================
RCS file: /cvsroot/src/sys/external/gpl2/dts/dist/arch/arm/boot/dts/bcm2711-rpi-4-b.dts,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 bcm2711-rpi-4-b.dts
--- sys/external/gpl2/dts/dist/arch/arm/boot/dts/bcm2711-rpi-4-b.dts	3 Jan 2020 14:33:25 -0000	1.1.1.1
+++ sys/external/gpl2/dts/dist/arch/arm/boot/dts/bcm2711-rpi-4-b.dts	17 Feb 2020 22:13:50 -0000
@@ -10,7 +10,7 @@
 
 	chosen {
 		/* 8250 auxiliary UART instead of pl011 */
-		stdout-path = "serial1:115200n8";
+		stdout-path = "serial0:115200n8";
 	};
 
 	/* Will be filled by the bootloader */
@@ -21,6 +21,14 @@
 
 	aliases {
 		ethernet0 = &genet;
+		/*
+		 * stupid rpi firmware
+		 * https://github.com/raspberrypi/firmware/issues/752#issuecomment-283331328
+		 */
+		serial0 = &uart1;
+		serial1 = &uart0;
+		uart0 = &uart0;
+		uart1 = &uart1;
 	};
 
 	leds {