rename tGPRi as tBMIi according to latest intel manual