EFI changer for linux.