install tifm_7xx1 /sbin/modprobe --ignore-install tifm_7xx1 $CMDLINE_OPTS && { /sbin/modprobe -Qb tifm_sd ; : ; }