[ros-diffs] [cgutman] 53806: [HAL] - Revert part of r53788 (MAXIMUM_IDTVECTOR is a valid vector number) - The buffer overrun in the IDT code was already fixed by r53420