arch: arm64: boot: dts: devkits*: Switch to no-AVB DTS