x86 idle: clarify AMD erratum 400 workaround