multi-core : fix bug in multi-core for arndale port
Merge branch 'v1-dev' of https://github.com/kesl/khypervisor into v1-dev