boot/efi: use 8250 driver for bcm2835 mini-UART

Change-Id: I1f42447e537ea7522ac299f028d530beb5067350
Reviewed-on: https://review.haiku-os.org/c/haiku/+/5142
Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>
Reviewed-by: Alex von Gluck IV <kallisti5@unixzen.com>

src/system/boot/platform/efi/dtb.cpp

@@ -67,6 +67,7 @@ const struct supported_uarts {
 #elif defined(__ARM__) || defined(__aarch64__)
 	{ "arm,pl011", UART_KIND_PL011, &get_uart<ArchUARTPL011> },
 	{ "snps,dw-apb-uart", UART_KIND_8250, &get_uart<DebugUART8250> },
+	{ "brcm,bcm2835-aux-uart", UART_KIND_8250, &get_uart<DebugUART8250> },
 #endif
 };