add --hamsi-expand-big option for setting EXPAND_BIG in X13 kernels