rpi-base: Add missing hat_map.dtb

hat_map.dtb is required by the firmware to match HAT UUIDs from
EEPROM data to their corresponding device tree overlays during boot.
Without this file, HATs may fail to initialize properly even when their
overlay files are present.

Signed-off-by: Florian Wickert <FlorianWickert@gmail.com>

conf/machine/include/rpi-base.inc

@@ -16,6 +16,7 @@ XSERVER = " \
 
 RPI_KERNEL_DEVICETREE_OVERLAYS ?= " \
     overlays/overlay_map.dtb \
+    overlays/hat_map.dtb \
     overlays/at86rf233.dtbo \
     overlays/disable-bt.dtbo \
     overlays/disable-bt-pi5.dtbo \
@@ -152,7 +153,7 @@ def make_dtb_boot_files(d):
 
     def transform(dtb):
         base = os.path.basename(dtb)
-        if dtb.endswith('dtbo') or base == 'overlay_map.dtb':
+        if dtb.endswith('dtbo') or base == 'overlay_map.dtb' or base == 'hat_map.dtb':
             # overlay dtb:
             # eg: overlays/hifiberry-amp.dtbo has:
             #     DEPLOYDIR file: hifiberry-amp.dtbo