Raspberry Pi 4 Model B 32bit

I think the Configure Mender server URL (optional) part is from Yocto build. I ended up doing:

$ vi board/mender/overlay/etc/mender/mender.conf

and editing ServerURL and TenantToken there.