Тогда стоит посмотреть настройки IR-порта в биосе, т.к.,

Тогда стоит посмотреть настройки IR-порта в биосе, т.к., согласно Pinouts.ru: IRDA connector, IRRx = IRDA Rx.

IRDA-распинка