Added a new pci= command line option specific to ARM systems in
-rc2 and it should be added to kernel-parameters.txt.
Signed-off-by: Deepak Saxena <dsaxena@plexity.net>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>