Merge branch 'core/types' into x86/x32

This commit is contained in:
H. Peter Anvin 2012-02-23 18:35:21 -08:00
commit 3f21723079