commit 12.4.7 minor syntax edits, added configured grub file