using mbuto to run kselftests