Comment 12 for bug 1895131

Thomas, thanks for weighing in. Reading https://lists.debian.org/debian-cd/2019/07/msg00007.html was very helpful in clarifying the options needed to get the image structure we are looking for. I think we may now have the xorriso options sorted out (though, this does not address the /EFI/BOOT consideration at this point).