Hello my Dear
First of all thank you for giving like this wide information. it is really helpful; Well i have copied all of it too. but some links NOT working!!! For example on your 4. step you gave a link to download bootx64.efi, MokManager.efi and grubx64.efi . my system is 32 bit i did found boot 32.efi from internet but grubx32 or grubx64 NONE. So what do you suugest to solve th problem. Best Regards.