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
2 files changed