hammerhead: Configure Krait bionic optimizations

Change-Id: If6ca9db7ec76945045ca35e078898aad011af3aa