Update RaspberryPI firmware

Update the RaspberryPI firmware to the version from

https://github.com/raspberrypi/rpi-firmware

  commit fdb9eafae4b83e553593937eae8e77b0193903c3
  Author: Dom Cobley <popcornmix@gmail.com>
  Date:   Tue Oct 17 15:59:45 2023 +0100

    kernel: Bump to 6.1.58

    ...

    firmware: config: Add [pi5] to config.txt on 2711 and earlier platforms

external/broadcom/rpi-firmware/dist/LICENCE.broadcom

@@ -7,7 +7,8 @@ modification, are permitted provided that the following conditions are
 met:
 
 * This software may only be used for the purposes of developing for, 
-  running or using a Raspberry Pi device.
+  running or using a Raspberry Pi device, or authorised derivative
+  device manufactured via the element14 Raspberry Pi Customization Service
 * Redistributions must reproduce the above copyright notice and the
   following disclaimer in the documentation and/or other materials
   provided with the distribution.