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

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

Change-Id: I7bc98f734cb3d6cc486cbefb10ac88116e37dd5c