If you want to use different kernels for grouper + tilapia you cannot use a common board config

My nightlies are ruined!

Change-Id: If18b3c218a50b83a4969287311b2ced30af53a72