Apply suggestion from @Copilot

Co-authored-by: Copilot <[email protected]>

Author: ZCShou

configs/vms/linux-aarch64-tac_e400-smp1.toml

@@ -29,7 +29,7 @@ kernel_load_addr = 0x20_4008_0000
 kernel_path = "/path/to/Image"
 ## The file path of the device tree blob (DTB).
 dtb_load_addr = 0x20_4000_0000
-dtb_path = "/path/to/linux-aarch64-e2000_smp1.dtb"
+dtb_path = "/path/to/linux-aarch64-tac_e400-smp1.dtb"
 # Memory regions with format (`base_paddr`, `size`, `flags`, `map_type`).
 # For `map_type`, 0 means `MAP_ALLOC`, 1 means `MAP_IDENTICAL`.
 memory_regions = [