Add dependency on module "user.options"

Change-Id: Ia135a1b411dc0ffa37730fe537a19a8e32663aef