ARM64 kernel now fails to link because all of the platform stuff isn't there right now.