[PATCH 11/19] boot: Rename Android-boot text