grml boot update: minor fix