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)