[OFED] whitespace cleanup