To sum up, it has been attempted successfuly a modification of the values for BcdLibraryIntegerList_AllowedInMemorySettings from 0x1500075 to 0x17000077,
and it remains a very interesting question to know how an ISO file can give a different value on a new deployment.