Just from a skim it seems like there is a new interrupt controller driver. The copyright header credits Linus Torvalds so they probably got started based on copying an existing one, but that sounds like substantial work and ongoing maintenance.