Debian UEFI Maintainers does not use openKylin Build Service. This page was created on 2022-05-16 when the efibootmgr_17-ok1 package was uploaded to yangtze/RELEASE.