use VM_MIN_ADDRESS/VM_MAX_ADDRESS to decide whether or not to copyin
don't uvm_vs{lock,unlock} for kernel addresses
printf -> vchiq_log_info
remove debug printf
sync