makefile: adjust for new toolchain krait optimized