linux/drivers/platform/arm64/