Does the BSP has any role to play in the kernel build process.
is the Image "Vmlinux" dependent on BSP in any way?