I'm not quite sure I understand scenario exactly, but I believe you can always override the default service if you want to change the behavior.  So if EF needed something different, it could register IOptionsAccessor<EFOptions>, EFOptionsAccessor and do something else entirely if desired.