BoardConfig: don't use prebuilt kernel

Signed-off-by: Marc Alexander <admin@m-a-styles.de>