<rtc>: Fix macro for KLEE.
<rtc>tmp105>: Tidy up main.c in the combined model.
<rtc>: Tidy up test case in the QEMU hardware model.