temp/linux-rpi: update to latest rpi kernel
update linux-rpi to 4.14.44 with vc4 enabled, so we can use drm backend on raspberry pi platform
[x] Merge on GitHub (see https://postmarketos.org/merge)
[x] Merge on GitHub (see https://postmarketos.org/merge)