device/device-pine64-*: rename device packages
Wiki pages have to be renamed / edited as well, but I think this should be done after this MR, right?
edit: mostly done, just the codenames are remaining
Edited by Administrator
Wiki pages have to be renamed / edited as well, but I think this should be done after this MR, right?
edit: mostly done, just the codenames are remaining