This file contains no architecture specific code, so can be moved to the Kernel/ directory, and thus shared between aarch64 and x86_64.
Timon Kruiper