This allows use a Debian armhf usespace
as well as the existing ability to use a Debian armel userspace.
Signed-off-by: Simon Horman <horms@verge.net.au>
Acked-by: Magnus Damm <damm@opensource.se>
Signed-off-by: Rafael J. Wysocki <rjw@sisk.pl>