vkernel - Unbreak 32-bit vkernel builds by fixing broken assertion