I ran into the limit with ParticleOS, with 6 profiles, hence I think the
current default value is a bit low. let's bump it 4x, to 120. This is
still a lot lower than 500 or so which Debian uses downstream.
We can look into raising this further should we collide with this again,
but for now, let's try 120 and see how it goes in practice.
description : 'boot loader color for selected entries')
option('efi-color-edit', type : 'string', value : 'black,lightgray',
description : 'boot loader color for option line edit')
-option('efi-stub-extra-sections', type : 'integer', value : 30,
+option('efi-stub-extra-sections', type : 'integer', value : 120,
description : 'minimum number of sections to keep free in stub PE header')
option('efi-addon-extra-sections', type : 'integer', value : 15,
description : 'minimum number of sections to keep free in addon PE header')