<rtc>: Replace memcpy statements with equivalent ones.
<rtc>: Add a test case to the QEMU hardware model for CBMC.