Ich kann bei mir im Bios sagen, ob er von PCIe; Onboard; oder beides?? startet, must mal schauen, weis nicht wie gut die einstellung reagiert, aber fillecht gehts.
Ich denke mal, das die Onboard karte erst deaktiviert wird, nachdem das Bios dazwischen funkt. Wenn du davor ins Bios wecksest sollte es über die Onboard sichbar sein. Falls nicht, einfach mal den kolegen fragen, ob er dir seine leit. Du wist ja nur schnell ins Bios und umstellen, nicht seine Karte auch flashen.