Andrei Borzenkov 5fcde03bf1 efi: fix warnings with recent GCC %!s(int64=9) %!d(string=hai) anos
..
console.c 5fcde03bf1 efi: fix warnings with recent GCC %!s(int64=9) %!d(string=hai) anos
serial.c e7e05cae8d efi/serial: fix memory leak %!s(int64=9) %!d(string=hai) anos