fix oracle kernel headers