在ARM Linux内核引导时，可以通过修改设备树（Device Tree）来将控制台输出映射到硬件设备。设备树是一种描述硬件设备的数据结构，它在引导过程中被内核加载和解析。

下面是一个示例的设备树文件：

/dts-v1/;

/ {
    chosen {
        bootargs = "console=ttyS0,115200";
    };

    aliases {
        serial0 = &uart0;
    };

    uart0: serial@12345678 {
        compatible = "ns16550a";
        reg = <0x12345678 0x100>;
    };
};

在上述设备树文件中，我们定义了一个串口设备（uart0），并将其与控制台输出相关联。具体步骤如下：

1. 在chosen节点下，设置bootargs属性为控制台输出的配置参数。在示例中，我们指定了使用ttyS0串口设备和波特率115200。

2. 在aliases节点下，定义了一个名为serial0的别名，与uart0设备相关联。这样，在引导过程中，内核可以使用serial0来找到正确的控制台输出设备。

3. 在uart0节点下，设置了串口设备的属性，如兼容性（compatible）和寄存器地址（reg）等。

要使内核使用这个设备树文件，需要将其编译为二进制格式（.dtb文件），并在引导过程中加载。具体步骤如下：

1. 使用设备树编译器（dtc）将设备树文件编译为二进制格式。命令如下：

   dtc -I dts -O dtb -o devicetree.dtb devicetree.dts
   

   这会生成名为devicetree.dtb的设备树二进制文件。

2. 将生成的设备树二进制文件与内核镜像一起加载到引导介质中（如SD卡或NAND闪存）。

3. 在引导过程中，内核会自动加载并解析设备树，从而将控制台输出映射到指定的硬件设备。

需要注意的是，具体的设备树文件内容和引导过程可能因硬件平台和Linux内核版本而有所不同。以上示例只是一个简单的参考，实际使用时需要根据具体硬件平台和需求进行相应的修改。