Merge "Add missing library that broke booting" into pi-dev