No... i just meant that i wasn't surprised that kextstat didn't list the exact filename in a clear format. Nor were the results of that experiment (omitting grep -v) of an unexpected nature.
TBH, i have no clue what zapped your Mac that day. (stuff happens... randomly and singularly sometimes)
BTW, is Sophos still on the disabled list... or is it back in the mix?
