[PATCH 05/39] x86: Rename state to bmi