+++ Debian Bug Tracking System [2015-04-25 03:39 +0000]: Confirming that the above patch lets the build complete. I don't know enough about the modules involved to know if it is sufficient/complete. Wookey -- Principal hats: Linaro, Debian, Wookware, ARM http://wookware.org/