The diff between the heads openjdk/jdk and openjdk/mobile is the result of changes that have been made in the past. While most of these changes are still somehow relevant, not everything is still applicable. Rather than patching the patches, it would be easier if we could start from scratch, with a fresh copy of openjdk/jdk

Since we don't want to lose any of the history, we should patch the current openjdk/mobile with a patch that reverts the mobile-specific diff.