psmintr not attached w/ acpi

If acpi enabled PS/2 mouse failed to work and irq12 cold't attach
to psmintr.

Is this problem "reporting PS/2 mouse resource before atkbdc"?

psmcpnp0 irq 12 on acpi0
atkbdc0: <Keyboard controller (i8042)> port 0x64,0x60 irq 1 on acpi0
atkbd0: <AT Keyboard> flags 0x1 irq 1 on atkbdc0
atkbd: the current kbd controller command byte 0047
atkbd: keyboard ID 0x41ab (2)
kbd0 at atkbd0
kbd0: atkbd0, AT 101/102 (2), config:0x1, flags:0x3d0000
psm0: current command byte:0047
psm0: <PS/2 Mouse> irq 12 on atkbdc0
psm0: model IntelliMouse, device ID 3-00, 3 buttons
psm0: config:00000000, flags:00000000, packet size:4
psm0: syncmask:08, syncbits:08

vmstat -i
interrupt                          total       rate
irq0: clk                          64245         99
irq1: atkbd0                           1          0
irq8: rtc                          82235        127
irq11: xl0 uhci0+                    737          1
irq13: npx0                            1          0
irq14: ata0                         2411          3
irq15: ata1                           52          0
Total                             149682        232

            Device (PS2M)
            {
                Name (_HID, EisaId ("PNP0F13"))
                Method (_STA, 0, NotSerialized)
                {
                    If (LEqual (PS2F, 0x00))
                    {
                        Return (0x0F)
                    }
                    Else
                    {
                        Return (0x00)
                    }
                }

                Method (_CRS, 0, NotSerialized)
                {
                    Name (BUF1, Buffer (0x05)
                    {
                        0x22, 0x00, 0x10, 0x79, 0x00
                    })
                    Name (BUF2, Buffer (0x15)
                    {
                        0x47, 0x01, 0x60, 0x00, 0x60, 0x00, 0x01, 0x01,
                        0x47, 0x01, 0x64, 0x00, 0x64, 0x00, 0x01, 0x01,
                        0x22, 0x00, 0x10, 0x79, 0x00
                    })
                    If (LEqual (KBDI, 0x01))
                    {
                        Return (BUF2)
                    }
                    Else
                    {
                        Return (BUF1)
                    }
                }
            }

            Device (PS2K)
            {
                Name (_HID, EisaId ("PNP0303"))
                Method (_STA, 0, NotSerialized)
                {
                    If (LEqual (KBDI, 0x01))
                    {
                        Return (0x00)
                    }
                    Else
                    {
                        Return (0x0F)
                    }
                }

                Name (_CRS, Buffer (0x15)
                {
                    0x47, 0x01, 0x60, 0x00, 0x60, 0x00, 0x01, 0x01,
                    0x47, 0x01, 0x64, 0x00, 0x64, 0x00, 0x01, 0x01,
                    0x22, 0x02, 0x00, 0x79, 0x00
                })
            }


-- 
Slawa Olhovchenkov