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