[coreboot] Re: (smc_x11) x11ssh-tf Board, Documentation