gnuboot/website/pages/docs/hardware/kfsn4-dre.md