Mathew McBride 7555fb02ec armsr: change image names to 'combined-efi' %!s(int64=2) %!d(string=hai) anos
..
Makefile 7555fb02ec armsr: change image names to 'combined-efi' hai 11 meses
grub-efi.cfg 40b02a2301 armsr: rename from armvirt %!s(int64=2) %!d(string=hai) anos