Andrei Borzenkov 5fcde03bf1 efi: fix warnings with recent GCC hace 9 años
..
console.c 5fcde03bf1 efi: fix warnings with recent GCC hace 9 años
serial.c e7e05cae8d efi/serial: fix memory leak hace 9 años