On Thu, Feb 6, 2020 at 4:15 AM Vasant Hegde <hegdevasant at linux.vnet.ibm.com> wrote: > > Otherwise device tree will continue to have `mpipl-boot` and kernel may > think its MPIPL boot. > > Signed-off-by: Vasant Hegde <hegdevasant at linux.vnet.ibm.com> Thanks, merged as b858aef5210e98b19419ad4dc347cf96d89cbf85