01-03-2023 Modificar el tiempo de espera EFI de arranque de Kubuntu 22.10 (aplicable a Ubuntu / tiempo de selección de arranque dual)