x86: Use X86_16BIT_INIT instead of X86_RESET_VECTOR
[platform/kernel/u-boot.git] / board / Marvell / db-88f6820-amc /
drwxr-xr-x   ..
-rw-r--r-- 193 MAINTAINERS
-rw-r--r-- 116 Makefile
-rw-r--r-- 3698 db-88f6820-amc.c
-rw-r--r-- 245 kwbimage.cfg