I can fix the problem by going to BIOS 0028, but it comes back when I upgrade to BIOS 0032 again.
So here is my history:
- in BIOS 0032, mouse freezes after sleep, revert to 0028
- in BIOS 0028, mouse does not freeze after sleep, upgrade to 0032
- in BIOS 0032, mouse freezes after sleep, revert to 0028
- in BIOS 0028, mouse does not freeze after sleep
I'm going to leave it at BIOS 0028 for a while and see how I get on with it. I definitely want a computer that can fall asleep, or be put to sleep manually, then recover on wake.
FYI, I could do all my BIOS reversions and upgrades in the Visual Bios (F2 at boot), then choose upgrade BIOS option from within Visual Bios.