Multiple kernel for the same board.