Hard drives aren't expensive. It's probably worth going full paranoid if you have any question about it and just replace the drive and let your buyer install whatever OS they want on the fresh drive.