This parameter is used by primary kernel to pass address of vmcore
header to the dump capture kernel.
Signed-off-by: NMika Westerberg <ext-mika.1.westerberg@nokia.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>