Merge "Move boottime tools to system/extra" into pi-dev