Source the deviceinfo file properly with the new script. Otherwise we
source an empty example /etc/deviceinfo file.

Related: https://postmarketos.org/edge/2023/09/25/deviceinfo/