Fix model checker on first boot

Change-Id: I6391298ae4b8959849aa71fcbea8069210090aa4