Style fix in bareBoot.dsc