Does the Raspberry Pi still have any closed-source components running on the ARM side? I remember reading something about a closed-source bootloader but I dont know if that situation still exists (and if there is a closed-source-but-still-user-upgradable bootloader (as opposed to something burned into the SoC and not user-changeable in any way) why such a thing needs to exist on a device like this.