Thanks Klaus,

I too can confirm the 32-bit version now works and I can put my laptop to standby and resume from it.