<tmp105>: Adding support for KLEE in the QEMU HW model.
<rtc>: Adding support of Klee in the QEMU HW model.
<rtc>: Update Makefile.
<rtc>: Update test cases in the Linux model.
<rtc>: Update Makefile in the Linux model.