tenderloin:  add in BOARD_KERNEL_IMAGE_NAME

Fixes the build

Change-Id: Ic249fd46a2fd0ae66f92f800504bb5c3586d8cac