thorpej@nas.nasa.gov said:
> Jason's suggestion (in PR#6998) is
>  > to add an splnet()/splx() pair in epshutdown().  That should fix
> this
>  > particular problem.

> Yes, this fix should be committed.  It occurs to me that some other
> Ethernet drivers probably have this problem, too. 

Perhaps it helps, but it doesn't look like the right solution.
The shutdownhooks are already executed after splhigh() - see
i386/machdep.c:cpu_reboot().
(Well, now that splserial() is above splhigh() this is not
completely clean, but splnet() should be blocked.)

best regards
Matthias