Help: making multi-platform ARM kernels work with CONFIG_DEBUG_LL