to merge after this one https://gitlab.com/postmarketOS/pmaports/-/merge_requests/3982
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.
to merge after this one https://gitlab.com/postmarketOS/pmaports/-/merge_requests/3982