Merge branch 'core/types' into x86/x32
authorH. Peter Anvin <hpa@zytor.com>
Sun, 26 Feb 2012 05:57:15 +0000 (21:57 -0800)
committerH. Peter Anvin <hpa@zytor.com>
Sun, 26 Feb 2012 05:57:26 +0000 (21:57 -0800)

Trivial merge