This directory contains all of the device-tree files shipped by the Debian
kernel package.