* Either as prebuilts, or with separate defconfigs Change-Id: Iad877a5fbef095e3e5d792aebb240c230a829552