Fix small bug where the mainline module list couldn't be overridden. am: e82d69a7b4 am: 402b4404b0

Original change: https://android-review.googlesource.com/c/platform/art/+/1729797

Change-Id: I3642be13a0254274d038acb1e779f979cca2ca91