vmlinuz='/boot/vmlinuz'
dtbaddr="0x06000000"
[ -d /mnt/FIRMPART ] &&
  bootmountpoint="/mnt/FIRMPART" ||
  bootmountpoint="/boot/efi"
dtbpath="/lib/devicetree"
rpi4dtb="bcm2711-rpi-4-b.dtb"
rpidtb="bcm2711-rpi-4-b.dtb bcm2710-rpi-3-b.dtb bcm2710-rpi-3-b-plus.dtb"
kernelpath="/boot/vmlinu"
initrdpath="/boot/initrd"
configpath="$bootmountpoint/config.txt"
extlinuxconf="/boot/extlinux/extlinux.conf"
defaultdelparam="cma=192M "
[ -d /usr/share/u-boot/rpi_4 ] &&
  ubootpath='/usr/share/u-boot/rpi_4' ||
  ubootpath='/usr/share/u-boot/rpi_4_32b'
