[coreboot] Re: arm-trusted-firmware mirror seems to have stopped syncing