Merge remote-tracking branch 'remotes/rth/tags/pull-tcg-
20160920' into staging
tcg updates for 20 Sep
# gpg: Signature made Tue 20 Sep 2016 19:48:04 BST
# gpg: using RSA key 0xAD1270CC4DD0279B
# gpg: Good signature from "Richard Henderson <rth7680@gmail.com>"
# gpg: aka "Richard Henderson <rth@redhat.com>"
# gpg: aka "Richard Henderson <rth@twiddle.net>"
# Primary key fingerprint: 9CB1 8DDA F8E8 49AD 2AFC 16A4 AD12 70CC 4DD0 279B
* remotes/rth/tags/pull-tcg-
20160920:
tcg/i386: Extend TARGET_PAGE_MASK to the proper type
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>