port=0 interface=${provisioning_interface} bind-interfaces log-dhcp enable-tftp tftp-root=${tftp_root} dhcp-range=${proxy_dhcp_range} dhcp-match=set:efi-arm64,option:client-arch,11 dhcp-boot=tag:efi-arm64,${pxe_boot_file} pxe-service=tag:efi-arm64,ARM64_EFI,Debian 13 arm64 automated install,${pxe_boot_file}