add workaround for occasional kernel module build failures related to kernel config...