[U-Boot] [PATCH v4 26/27] tegra: Mark board init files for ARMv4t