Fix multiple warnings produced by make htmldocs

Fixes: e32d3827 ("s390/Docs: new doc describing lock usage by the vfio_ap device driver")
Signed-off-by: Alexander Gordeev <agordeev@linux.ibm.com>