e7f82fbbaf
o panic if the board boot descriptor is too old... Obtained from: [1] looking at the cavium sdk's executive code