The Cortex-A9 machine model is incomplete. Mark it as such.