Add board_id_ fields to SignedHeader::print()

Bug: 132648483
Test: manual

Change-Id: I5007866ce10c774732362ecc16a00141c6a1e448
Signed-off-by: Bill Richardson <wfrichar@google.com>
diff --git a/nugget/include/signed_header.h b/nugget/include/signed_header.h
index d98d456..b5bf879 100644
--- a/nugget/include/signed_header.h
+++ b/nugget/include/signed_header.h
@@ -163,6 +163,11 @@
       printf("%08X", infomap[i]);
     }
     printf("\n");
+
+    printf("hdr.board_id       : %08x %08x %08x\n",
+           SIGNED_HEADER_PADDING ^ board_id_.type,
+           SIGNED_HEADER_PADDING ^ board_id_.type_mask,
+           SIGNED_HEADER_PADDING ^ board_id_.flags);
   }
 #endif  // __cplusplus