Add parameter to override the architecture of the board kernel.
Fix kernel repository name.