Import A31 boot-1.0 sources from Android SDK