Add Denverton testbeds BIOS configuration doc