PKGBUILD: add #include to device-info.h to fix error