Doc: fix documentation regarding default bootmanager (thanks Martin krafft).