Hmm, I ensured the mei driver was loaded (lsmod confirms it), but I get:
"Cannot open /dev/mei: No such file or directory"
dmesg shows: "[ 18.233688] mei_me 0000:00:16.0: Device doesn't have valid ME Interface [ 18.233700] mei_me 0000:00:16.1: Device doesn't have valid ME Interface"
So I'm guessing I'm not vulnerable. I suppose Supermicro replaced it with their own IPMI interface.