kconfig: Board name variable fixes and updates (trivial).