These two ARM patches were taken from the Debian diff and modified because
the patch contents were often repeated more than twice in the patch file.