os: make void specialisation of rt allocators public

Signed-off-by: Peter Soetens <peter@thesourceworks.com>
plugin: updated API docs.

Signed-off-by: Peter Soetens <peter@thesourceworks.com>