I have found that restart/shutdown after sleep only works for me in 32 bit.
in 64 bit - I get some kind of noise loop from my audio card and it refuses to shutdown or restart - have to hit the power button - but this only happens after sleep.
Restart and shutdown works perfectly well in 64 - but not after sleeping