Fix krait mem opts again