linux/Documentation/arm/Setup