doc: improved documentation for boot allocation functions #4405

Job	Run time
changes	5s
Nix shell toolchain: `cargo xtask run` works	0s
	5s

Provide feedback