[ros-diffs] [reactos] 03/03: [HALX86] Some improvements / bugfixes for IPI support functions