Updating configuration space (4.x->5.x)

[Thomas Lange]

>>>>> On Wed, 16 Nov 2016 12:46:37 -0800, Afif Elghraoui <aelghraoui at sdsu.edu> said:

    > Thanks. That resolves that problem. However, I've also been getting
    > FATAL: INT18: BOOT FAILURE when trying to boot from disk after the
    > installation. I tried replacing scripts/GRUB_PC/10-setup with the one
    > from the current git, but that doesn't fix it. Do you know what could be
    > triggering this now?
You should do a complete diff of the new config space with
yours. Maybe some other things are missing.

-- 
regards Thomas