arm/raspberrypi: Specify an initial baud rate during startup

* Fixes #5256.

* Specify an initial baud rate to use during startup.
  After the PL011 code refactor in
  0f42153959, an initial baud rate
  is required. arm_pl011_first_open is called from boot_card and
  will fail without a baud rate specified. This can cause certain
  future uses of /dev/console, such as opening a shell, to fail.

spec/build/bsps/arm/raspberrypi/grp.yml

@@ -54,6 +54,10 @@ links:
   uid: ../../optfdtro
 - role: build-dependency
   uid: ../../optfdtuboot
+- role: build-dependency
+  uid: optpl011baud
+- role: build-dependency
+  uid: optminiuartbaud
 type: build
 use-after: []
 use-before: []

spec/build/bsps/arm/raspberrypi/optminiuartbaud.yml

@@ -0,0 +1,19 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+actions:
+- get-integer: null
+- assert-uint32: null
+- env-assign: null
+- format-and-define: null
+build-type: option
+copyrights:
+- Copyright (C) 2025 Jacob Killelea
+default:
+- enabled-by: true
+  value: 115200
+description: |
+  Mini UART default baud rate
+enabled-by: true
+format: '{:#d}'
+links: []
+name: MINI_UART_DEFAULT_BAUD
+type: build

spec/build/bsps/arm/raspberrypi/optpl011baud.yml

@@ -0,0 +1,19 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+actions:
+- get-integer: null
+- assert-uint32: null
+- env-assign: null
+- format-and-define: null
+build-type: option
+copyrights:
+- Copyright (C) 2025 Jacob Killelea
+default:
+- enabled-by: true
+  value: 115200
+description: |
+  PL011 (main UART) default baud rate
+enabled-by: true
+format: '{:#d}'
+links: []
+name: PL011_DEFAULT_BAUD
+type: build