Fix Bazel build breakages (#1908)

* Fix Bazel build breakages

* Adds support for new PICO_DEFAULT_UART_BAUD_RATE option.
* Fixes issues related to Picotool and boot_picoboot_headers.
* Adds pico_float RISC-V pieces to the Bazel build (not yet fully
  tested).
* Adds the missing adafruit board header to the Bazel build.

* Exclude hazard3 float test in Bazel validation script

* Restore missing dependency in hardware_boot_lock

test/pico_float_test/BUILD.bazel

@@ -3,6 +3,29 @@ load("//bazel/util:transition.bzl", "pico_float_test_binary")
 
 package(default_visibility = ["//visibility:public"])
 
+cc_binary(
+    name = "hazard3_test_gen",
+    srcs = ["hazard3_test_gen.c"],
+    target_compatible_with = ["//bazel/constraint:host"],
+)
+
+# TODO: Set up a transition to build this under RISC-V.
+cc_binary(
+    name = "pico_float_test_hazard3",
+    testonly = True,
+    srcs = [
+        "pico_float_test_hazard3.c",
+        "vectors/hazard3_addsf.inc",
+        "vectors/hazard3_mulsf.inc",
+    ],
+    includes = ["."],
+    target_compatible_with = compatible_with_rp2() + ["@platforms//cpu:riscv32"],
+    deps = [
+        "//src/rp2_common/pico_float",
+        "//src/rp2_common/pico_stdlib",
+    ],
+)
+
 cc_binary(
     name = "pico_float_test",
     testonly = True,