gnuboot/site/docs/hardware/kfsn4-dre.md