x86: Use X86_16BIT_INIT instead of X86_RESET_VECTOR
[platform/kernel/u-boot.git] / board / imgtec /
drwxr-xr-x   ..
drwxr-xr-x - boston
drwxr-xr-x - malta
drwxr-xr-x - xilfpga