device-xiaomi-santoni: refactored nonfree-firmware post install script

Signed-off-by: Danct12 <danct12@disroot.org>

device/testing/device-xiaomi-santoni/APKBUILD

@@ -5,7 +5,7 @@
 pkgname=device-xiaomi-santoni
 pkgdesc="Xiaomi Redmi 4X"
 pkgver=0.5
-pkgrel=5
+pkgrel=6
 url="https://postmarketos.org"
 license="MIT"
 arch="aarch64"

device/testing/device-xiaomi-santoni/device-xiaomi-santoni-nonfree-firmware.post-install

 #!/bin/sh
 
-# We make sure that tsched has not mentioned anywhere in the default PulseAudio config
-if [ "$(grep -c tsched /etc/pulse/default.pa)" -lt "1" ]; then 
+if ! grep -q tsched /etc/pulse/default.pa; then
     sed -i 's/load-module module-udev-detect/load-module module-udev-detect tsched=0/g' /etc/pulse/default.pa
 fi