Backport OMAP44xx spec changes from page-tables branch