These patches were created by Adam Wiggins for the Fast Address-Space
Switching project on ARM Linux.