Oh, right. That's a different issue. I've had my laptop do that a couple of times, closing the lid again and re-opening it has fixed it each time, so I never dug into it. I'll have a poke about and see if I can find anything.

Note: You want LID0 to be enabled, so that opening the lid wakes it up.