docs: fix inaccuracies in hal_init manpage

Signed-off-by: Sebastian Kuzminsky <seb@highlab.com>
Merge remote-tracking branch 'origin/2.6' into 2.7