I just added "$(InputDir)\cttunim.def" to the Project Configuration->Linker->Module Definition File field. The cttunim.def file lists all the CTT_*() entry points for the Power Manager and other system components to communicate with my driver. I also replaced "Not Set" with "MachineTHUMB (/MACHINE:THUMB)" on the Project Configuration->Linker->Target Machine field. I notice that MachineARM is goof for the ARMV4 platform and MachineTHUMB should be used for the ARMV4I platform.
With these two adjustments, my driver cannot be loaded at the Xv6700 boot time. I am still looking for solution now.
Tommy