This fixes building sysutils/u-boot (the dependency on u-boot-rpi3-32b was wrong as well). Sorry for the short mishap.