I just had to reboot my system (in Linux, ouch) because my computer started to act like I was holding down the CTRL key whenever I pressed anything. I'm not really sure what to make of this, but I hope it does not turn into a regular problem (or if it does, that a BIOS update can fix it).
Not sure where else to comment on this, so I just made a new thread. Please move if appropriate. Thanks!