I have been looking for information on FCOS and kernel device trees - specifically for CoreOS running on RPi4. Fedora minimal on an RPi4 places the upstream device tree files in /boot/dtb-xxx where xxx references a specific kernel version. Are device trees supported in FCOS? I have in mind the upstream device tree patch that enables the RPi4 POE fan to work. This device tree patch and the fan has been useful with my home lab RPi4 cluster to help keep the boards cool. Is there any information available?