add missing splx() from obsd
fix LKM work on sparc64 target