android: update manifest for MKL