Hello,

Here's a patch adding support for the pinebook-pro. As I do not own one
of those, it would be nice if someone could test it with the following
commands:

--8<---------------cut here---------------start------------->8---
echo "(use-modules (gnu system images pinebook-pro)) pinebook-pro-barebones-os" > /tmp/os.scm
./pre-inst-env guix system disk-image -t pinebook-pro-raw /tmp/os.scm
--8<---------------cut here---------------end--------------->8---

on top of f0c609323e or later.

Thanks,

Mathieu