I have the same problem with HP ProBook 4530s and Apple Magic Mouse. After resume from standby, mouse doesnt work and I nee to reboot. After some months there was just one time that it worked! But I couldn't reproduce it.. justin's fix doesnt work for me even though i assume that i have i8042 chipset (because i notice there is i8042 in the dmesg log).
I have the same problem with HP ProBook 4530s and Apple Magic Mouse. After resume from standby, mouse doesnt work and I nee to reboot. After some months there was just one time that it worked! But I couldn't reproduce it.. justin's fix doesnt work for me even though i assume that i have i8042 chipset (because i notice there is i8042 in the dmesg log).