gnuboot/website/pages/docs/install/kgpe-d16.md