# CONFIG_6LOWPAN_NHC is not set
