[PATCH v2 05/41] x86: Rename state to bmi