docbook: fix vmalloc missing parameter notation