coverity: fix address_space_rw model
# gpg: Signature made Tue May 5 09:44:26 2015 BST using RSA key ID
EB918653
# gpg: Good signature from "Markus Armbruster <
[email protected]>"
# gpg: aka "Markus Armbruster <
[email protected]>"
* remotes/armbru/tags/pull-cov-model-2015-05-05:
coverity: fix address_space_rw model
Signed-off-by: Peter Maydell <[email protected]>