Sorry to take so long answering this question. I was forced into house repair mode the last couple of days
I might be missing something, but the BIOS settings (found by hitting F10 at startup) don't seem to mention anything about the sound card. I'll look again tomorrow, but I don't think it's there. Which doesn't sound right to me, either.