Add Denverton testbeds BIOS configuration doc

No match.