You should do...

HR has nothing to do with it. All you need to do is to have your attorney prepare all of the documents and have your boss sign it.