@Zing Thank you for your response. I've never changed the theme, and therefore it should be the default theme. But I'm trying out ARRM now.
No one has replied
@niehztog1 didn't strike me at the time because I don't use the reboot option much anymore but I had the same issue last and only time on 4.0 final