BoardConfigCommon: inline kernel building

Signed-off-by: Domenico Marino <johnlemon.lol@gmail.com>