Fix compiling with i386 and INVARIANTS
Fix broken KASSERT and remove broken device_printf (was bogus)