Re: [PATCH 13/16] board: traverse: ten64: adopt standard boot defaults