[PATCH v4 0/5] arm: Fix DEBUG_LL for multi-platform kernels (without PL01X)