Hi, I can't get the openrc iso to boot on UEFI, but the systemd one works fine. Will the openrc version install just as easily if I start from the systemd iso? -Christian