soweit ich weiß benutzt der hallenberg den bootmanager nicht, bin mir aber nicht sicher.