Fix KASSERT statements in if_wpi_debug.h
PR: kern/197143 Submitted by: Andriy Voskoboinyk <s3erios@gmail.com>