Implement properly the ARM ODROID-U3 Debian packaging:

* Be portable across Debian architecture;
* Do not remove configure options but make them conditional.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>