tree f006845d3289f31d452ec0aaa1c2236f5a1d4555
parent 3240891ca42bb5f2e441bac45a034d7086349283
author Matthias Kaehlcke <mka@google.com> 1429734548 -0700
committer Matthias Kaehlcke <mka@google.com> 1429749061 -0700

In secure mode use the board id from OTP if available

On newer devices the OTP contains a field with board id bits. It's
more secure to use a value read from the OTP than to rely on the
status of the GPIO pins

Change-Id: I67d536d2a2ff6bfc918436ed0458d6429a246619