История изменений

Я здесь писал как у меня это работает. Думаю, у тебя примерно так же должно быть.

Вообще, я думаю, оно может работать даже и без выбора основной графики в BIOS (на случай если там нет такого пункта), то есть просто подключаешь монитор к порту встроенной графики и потом можно использовать дискретную видеокарту через DRI_PRIME и прочие похожие механизмы. В случае с DXVK и vkd3d-proton за выбор устройств отвечают переменные:

DXVK_FILTER_DEVICE_NAME
VKD3D_FILTER_DEVICE_NAME

Я здесь писал как у меня это работает. Думаю, у тебя примерно так же должно быть.