Without this, commit ace38fafb0 is useless when HAL support is disabled. Signed-off-by: Julien Cristau <jcristau@debian.org>
ace38fafb0