This is no longer needed now that 3517 is booting in device tree
only mode.
Signed-off-by: Tony Lindgren <tony@atomide.com>