I'm afraid there aren't any bios updates...the device is a chinese mini pc from aliexpress. I've spoken with the seller and he told there aren't any, at least not official ones. I don't think it's a bios issue, but something regarding the passthrough on the newer devices . maybe the kernel from xcp is too old, although it's heavily patched.