grub: add rpi5 dtb/console in grub.cfg

- enable raspberrypi5 console in grub config
- use the devicetree provided by the firmware (and not the one
provided by the kernel) to ensure the ethernet mac address is
set correctly

Signed-off-by: Dimitrios Poulios <dpoulios85@gmail.com>

pkg/grub/rootfs.cfg

@@ -259,6 +259,9 @@ function set_arm64_baremetal {
       smbios -t 1 -s 5 --set smb_product
       if [ "$smb_product" = "rpi" ]; then
          set_to_existing_file devicetree /boot/dtb/broadcom/bcm2711-rpi-4-b.dtb
+      elif [ "$smb_product" = "Raspberry Pi 5 Model B Rev 1.0" ]; then
+         #set_to_existing_file devicetree /boot/dtb/broadcom/bcm2712-rpi-5-b.dtb
+         set_global dom0_console "console=ttyAMA10 console=tty1"
       elif [ "$smb_product" = "uno-220" ]; then
          set_to_existing_file devicetree /boot/dtb/broadcom/raspberrypi-uno-220.dtb
       fi