gnuboot/website/pages/docs/install/ga-g41m-es2l.md