Hello Robert, Thank you for reporting this bug and the associated fix.
I am preparing a new release to address other architecture specific issues with the kexec command so I'll make sure to include your fix. Thanks again, Kind regards, ...Louis -- Louis Bouchard Software engineer, Ubuntu GPG : 429D 7A3B DD05 B6F8 AF63 B9C4 8B3D 867C 823E 7A61

