The other video card is integrated into the motherboard, and the disabling the integrated video with bios causes the boot to fail. I could try the video card in a different computer, but that computer would have to be booted from usb since I don't want to change its os. Would a dmesg.txt from a different computer with the same video card with say a 4.15 kernel be useful?