Alexander Graf e4b84a0d7c efi: Rename armxx to arch 6 tahun lalu
..
linux.c e4b84a0d7c efi: Rename armxx to arch 6 tahun lalu
xen_boot.c e4b84a0d7c efi: Rename armxx to arch 6 tahun lalu