The source project of this merge request has been removed.
firmware: bootloader: Fix automatic 64bit selection on Pi3s
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
firmware: bootloader: Fix automatic 64bit selection on Pi3s