@Hamish: that is a problem with bbswitch:
[ 17.706791] bbswitch: cannot find ACPI handle for VGA device 0000:01:00.0 [ 17.706792] bbswitch: No discrete VGA device found
Please file a bug report against bbswitch.
@Hamish: that is a problem with bbswitch:
[ 17.706791] bbswitch: cannot find ACPI handle for VGA device 0000:01:00.0
[ 17.706792] bbswitch: No discrete VGA device found
Please file a bug report against bbswitch.