This is a follow-up of this thread. To patch the defconfig of u-boot (namely rpi_0_w_defconfig) I started the devtool to
defconfig
u-boot
rpi_0_w_defconfig
devtool