70a71,74
> reset_addr = Param.Addr(0x0,
> "Reset address (ARMv8)")
> auto_reset_addr = Param.Bool(False,
> "Determine reset address from kernel entry point if no boot loader")
74,78d77
< reset_addr_64 = Param.Addr(0x0,
< "Reset address if the highest implemented exception level is 64 bits "
< "(ARMv8)")
< auto_reset_addr_64 = Param.Bool(False,
< "Determine reset address from kernel entry point if no boot loader")