Not sure if there is any link between the DietPi and Armbian building process, but the current DietPi Bookworm image for Odroid C1(+) is working fine, including
reboot
HDMI output (I have not tested X11, not sure if it is even possible)
USB support (I did not check hotplug, but it was a HUGE improvement over previous releases)