assemble_vintf: accept kernel config name != android-base.config am: 1557a7455c

Change-Id: I145c5366ea3b5fc7af4ca5cce268551880d0237c