Reverting it is easy, just get the source of PR1.2's kernel and compile the c files against the PR1.3 headers.