Kolibre build rpi

Fixes and cleanups for running kolibre-software on raspberry pi