Fix missing board name info for external boards