The file is automatically packed by devicepkg-dev utils Relates #1836
[ci:ignore-count] [ci:skip-vercheck] needed for the postmarketos-ui-* packages in this series [ci:skip-build] already built ui-* packages in CI, and device pacakges are just trivial deviceinfo change (manually built some just to verify)
Runs mainline linux kernel. All features except GPS, Camera, USB OTG and Notification LED is working fine.