Hammerhead: Remove Krait opti's since deprecated

Change-Id: I072770e79002f4d1b4bc41b32d9a7a4373cf8e46