Not quite sure how the Compaq site is laid out, but here is a link to the compaq support and drivers page. I'm not sure how the Compaq does the bios either, but usually you just go into DOS, armed with a floppy with the bios on it and execute it.

My Gigabyte board you can flash from windows, which is basically a really easy utility for anyone. Anyhoo hope this helps.