I went ahead and pushed out a tiny correction to
template_kernel_module_disabled and the affected OVAL check XML files
generated with the template. The template incorrectly pointed to
/etc/modprob.d instead of /etc/modprobe.d in a comment field. The actual
check content still pointed to the correct location.
- Maura Dailey