Turn v_intcount interrupt count into a 32-bit variable