Yes, bit 7 of the interrupt vector is controlled by the appropriate line on the keyboard 8251, as per the schematics.