Flags for Krait CPU

Change-Id: Ibd8918dd4a2c693b92b3e0ff609093d1236bfaf6