Get yourself a $5 multimeter to determine exactly where the coloured wires are going onto the DIN. Determine exactly where the header pins are going to on the keyboard controller (KBC) chip. You can then determine which header pins are what (Vcc, GND, DATA, & CLK) by where they go onto the KBC.
The attachment Holtek_HT6542B.png is no longer available
Ensure that your KBC has PS/2 mouse support. If it is AMIKEY-2, for example, it has ps/2 mouse support.
Ensure that your specific BIOS revision has PS/2 mouse support. The power management mention of IRQ 12 means nothing in this regard. You may need to open a soft-copy of your BIOS image with MODBIN to ensure the PS/2 mouse option is checked. If you like, you can send the imgae to me and I'll open it with MODBIN.
Plan your life wisely, you'll be dead before you know it.