Update board-marvel.h