Same Kernel and e3550_t194a/e3550_t194b, it seems sth else was triggered to disable the Core/IRQ tasks on one Xavier.
Regarding “For kernel compilation, please see if /lib/modules/4.14.102-rt53-tegra/build: No such file or directory helps.”, in order to upgrade Kernel, after steps 7/8/9 listed here, we do need to use SDK manager to flash XavierA/B again, is it right?