fix debugging printf.
fix debugging compilation (ALL kernel)
avoid macro clash.
if doing uptime, don't bother resolving names.
Add Cortex-A17 support
Fix CORTEXA17 support