docs: fix inaccuracies in hal_init manpage

Signed-off-by: Sebastian Kuzminsky <seb@highlab.com>