x86: fix broken flush_tlb_others_ipi(), fix

Impact: cleanup

Use the proper type.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
1 file changed