Possible IR-receiver fix with DSDT

Mar 19, 2019
Hello! First of all, apologies for using this forum for generic DSDT question. I figured people here are most knowledgable about DSDT tables.
I have a nettop PC based on nVideo ION chipset which carries an infrared-receiver onboard. It is, however, not detected (by Linux in my case).
It was suggested to me to check my DSDT table for errors and indeed it had one but not really related to IR-receiver as far as I can tell.
Only mention of IR-receiver in DSDT table looks like this:
Local0 = CIRE /* \_SB_.PCI0.SBRG.CIRE */
If ((Local0 == Zero)){}
    Device (CIR1)
        Name (_UID, One)  // _UID: Unique ID
        Name (_HID, EisaId ("ITE8713"))  // _HID: Hardware ID
        Method (_STA, 0, NotSerialized)  // _STA: Status
            Return (0x0F)

        Method (_PRS, 0, NotSerialized)  // _PRS: Possible Resource Settings
            Return (CMPR) /* \_SB_.PCI0.SBRG.CIR1.CMPR */

        Name (CMPR, ResourceTemplate ()
            StartDependentFn (0x00, 0x00)
                IO (Decode16,
                    0x0310,             // Range Minimum
                    0x0310,             // Range Maximum
                    0x01,               // Alignment
                    0x08,               // Length
                IRQNoFlags ()
                DMA (Compatibility, NotBusMaster, Transfer8, )
            EndDependentFn ()
The BIOS has an option to enable/disable receiver and it is set to enabled.
I wonder if there's something apparent which could make the receiver to be detected? The rest of the file is attached below.