For documentation purposes, I attach the patched file
# stat /usr/lib/kernel/install.d/90-uki-copy.install
File: /usr/lib/kernel/install.d/90-uki-copy.install
Dim.: 3142 Blocchi: 8 Blocco di IO: 4096 file
regolare
Device: 253,1 Inode: 35127375 Links: 1
Accesso: (0755/-rwxr-xr-x) Uid: ( 0/ root) Gid: ( 0/ root)
Contesto: system_u:object_r:lib_t:s0
Accesso : 2024-04-04 23:17:37.822927125 +0200
Modifica : 2024-03-19 11:31:38.454277675 +0100
Cambio : 2024-03-19 11:31:38.475277569 +0100
Creazione: 2024-03-19 11:31:38.454277675 +0100