Fixes: 1. Add "USB Compatibility Patch" setup option in BIOS. 2. Modify HDMI hotplug code for HDMI audio.