ARM: 7668/1, 7670/1

GCC 4.7 related fixes.
http://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7668/1
http://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7670/1