Bugzilla:
https://bugzilla.redhat.com/show_bug.cgi?id=2149629
The second patch is the interesting one; the first patch is just a
trivial refactoring.
Laszlo Ersek (2):
convert_linux.get_uefi_arch_suffix: move to Utils
convert_windows: fix up the UEFI fallback boot loader if broken
lib/utils.mli | 5 ++++
convert/convert_linux.ml | 6 -----
convert/convert_windows.ml | 25 ++++++++++++++++++++
lib/utils.ml | 5 ++++
4 files changed, 35 insertions(+), 6 deletions(-)