Revised ARMhf support patch. Improved by Jochen Sprickerhof (jochen@sprickerhof.de)

Conflicts:
	debian/patches/series