debug: Fix the XLEN command line check