Good find!!

Seems that may be needed, as I still see some folks having troubles with AOD...and as you know, if the bios doesn't allow turning it off... then ya screwed!!