Обновилось ядро, решил на пробу таки включить дискретную графику в BIOS. В итоге PRIME говорит, что есть только одна видеокарта.
xrandr --listproviders
Providers: number : 1 Provider 0: id: 0x47 cap: 0xb, Source Output, Sink Output, Sink Offload crtcs: 4 outputs: 4 associated providers: 0 name:Intel
Ядро:
4.6.0-1-amd64 #1 SMP Debian 4.6.4-1 (2016-07-18) x86_64 GNU/Linux
lspci:
lspci | grep -E «VGA|3D»
00:02.0 VGA compatible controller: Intel Corporation 4th Gen Core Processor Integrated Graphics Controller (rev 06)
lspci |grep «Advanced Micro Devices»
01:00.0 Display controller: Advanced Micro Devices, Inc. [AMD/ATI] Mars [Radeon HD 8670A/8670M/8750M] (rev ff)
Тролей прошу не беспокоится.