"include/drivers/arm/nic_400.h" did not exist on "4b1439c5ae9bf5f1d1aeabc9271cec8b430f5396"