Se afinan los trabajos sobre UEFI en Debian 10 "Buster"