diff --git a/tools/kmod/sof_remove.sh b/tools/kmod/sof_remove.sh
index 49071013..ace35378 100755
--- a/tools/kmod/sof_remove.sh
+++ b/tools/kmod/sof_remove.sh
@@ -2,12 +2,6 @@
 # SPDX-License-Identifier: BSD-3-Clause
 # Copyright(c) 2018 Intel Corporation. All rights reserved.
 
-
-TOPDIR=$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)
-
-# shellcheck source=case-lib/lib.sh
-source "$TOPDIR"/case-lib/lib.sh
-
 remove_module() {
 
     local MODULE="$1"
@@ -23,13 +17,6 @@ remove_module() {
 exit_handler()
 {
     local exit_status="$1"
-    # Even without any active audio, pulseaudio can use modules
-    # "non-deterministically". So even if we are successful this time,
-    # warn about any running pulseaudio because it could make us fail
-    # the next time.
-    if pgrep -a pulseaudio; then
-        systemctl_show_pulseaudio
-    fi
 
     if test "$exit_status" -ne 0; then
         lsmod | grep -e sof -e snd -e sound -e drm