Fix wrongly use redbull-kernel on other device

Some device should use it's <DEVICE>-kernel for now

Bug: 162558931
Bug: 172625589
Change-Id: Ic376a64ae8684f65e5d4ded547f5dbc2aab94c73
1 file changed