Better formatting of flag macros in the rtc driver