BoardConfig: Inline kernel build
Signed-off-by: PipelinerArd <kristoferard@gmail.com>