* move barrier() to architecture depended region * add barrier() in issue_ipi, kprintf, map_virtual * enable the workaround for cavium thunderx
- add arm64 dependent codes with GICv3 and SVE support - fix bugs based on architecture separation requests