Allow querying the mmu configuration chosen during the build. (#191)