It seems that PCMCIA 8390 users get spammed with a few annoying
messages upon card removal. I guess 8390 could be taught to better
detect and deal with these things, but here is a quick fix.