Use a variable armv7a->debug_base instead of hardedcoded OMAP3530_DEBUG_BASE