Bring an overly enthusiastic KASSERT inline with the Intel SDM.

Reviewed by:	neel