Loading
arm64: Print device tree model string during boot
The change to refactor kernel/setup.c to use the common of_flat_dt_get_machine_name() API has apparently removed the line which prints the device tree model string during boot. Having the model string in the kernel log is helpful, so add it back in. Change-Id: I7dccc3ab00f5b67753cdd256846a522596c5058f Signed-off-by:Stepan Moskovchenko <stepanm@codeaurora.org> [abhimany: resolve trivial merge conflicts] Signed-off-by:
Abhimanyu Kapur <abhimany@codeaurora.org>