This post is a summary of an error that I hit when trying to use devtool to rebuild the Linux kernel using PetaLinux 2018.2 from Xilinx:...