Process rtc options from command line and config file uniformly.

The rtc option may be passed via the "-rtc" command line switch,
or via the "[rtc]" section in config file.

We add a configure_rtc() call to process both cases uniformly.