Merge branch 'ptebits' into devel

Conflicts:

	arch/arm/Kconfig