[U-Boot] IBAT and DBAT question

[Alemao]

Hi all,

If Im not going to use PCI in U-Boot (just in linux kernel), do I have
to set IBAT and DBAT in the board configuration file? Or linux kernel
sets them again in arch/powerpc/mm/ppc_mmu_32.c ?

Thanks in advance