Revert "Add Krait optimizations"

This reverts commit c1360978cc8ab392a83053e2a8bac75d83512303.

Conflicts:

	BoardConfig.mk