When dual booting with Linux, should I boot the installer and the installed system normally or through OpenCore boot menu?