[U-Boot] [PATCH v3 17/18] buildman: Permit branch names with an embedded '/'