needed to add support for IBRS versions of the CPUs
*** This bug has been marked as a duplicate of bug 1531016 ***