Hey Ian,
Setting up my new rig with the XI Code, and assume bios mostly the same. To find those options, get into Advanced mode (not EZ, change with F7 hotkey).
In Advanced bios mode, click on the Advanced tab on the top section, under that look for Onboard Devices Configuration. Those options you are looking for should show under that...they do for me.
Hope this helps - D