While unusual, intr_register_source() can return failure. A likely
cause might be another device grabbing from Xen's interrupt range.
This should NOT happen, but could happen due to a bug. As such check
for this and fail if it occurs.
This also covers the condition identified by the KASSERT(), so remove
the now redundant KASSERT().
Style, switch and case keyword on same line.