I was wrong. the 18.04.1 server-live installer (as well as daily ISOs until today) have not improved upon this (tested on an UEFI booted system only). The alternative (debian-installer based) server installer works fine.
I was wrong. the 18.04.1 server-live installer (as well as daily ISOs until today) have not improved upon this (tested on an UEFI booted system only). The alternative (debian-installer based) server installer works fine.