A good steam paper stripper will shift it, but it's not for the faint hearted. Personally, I would do either of the following: Scrape the sharp bits off all over, then re-skim with finishing plaster (it does a grand job, believe me) or just set about ripping the boards down and re-new them. Either way, a skim is called for, just a thicker one for the first option.