would these patches work for a "muxed" hybrid laptop as well ? Otherwise, what would be needed to have libvdpau automatically pick up the right driver on muxed systems ?