Hi Alex, do you still need this month-old kernel branch with apparently no modifications? Or can you at least disable building for armv7l? It is eating up build power there. Thanks!