openhpi: fix invalid libxml2 configure option