x86: properly handle lock/rep prefixes when DIET option is enable