Success! Copying e000 to c000 does the trick.

Now, in terms of perfecting it by checking the RTC, I'm afraid my slightly-above-zero knowledge of ARM assembly prevents me from doing that. I guess I'll just be happy with full wakeups "about every hour" for now, unless someone else comes along who's better equipped to do it.