Vladimir 'phcoder' Serbinenko 76de44d8ac Merge mainline into install 14 anni fa
..
efi 6c2111e96c Adapt common grub-install for efi and use it 14 anni fa