EFI=edge2_UEFI_Release_v0.7.1.img
wget https://github.com/edk2-porting/edk2-rk3588/releases/download/v0.7.1/$EFI
DISK=${DISK:-/dev/mmcblk0}
dd skip=2048 seek=$((0x4000)) count=$((0x4000)) of=$DISK if=$EFI conv=fsync,notrunc