Merge branch 'x86/urgent' into core/efi, to pick up a pending EFI fix
[cascardo/linux.git] / arch / arm / mach-nomadik /
drwxr-xr-x   ..
-rw-r--r-- 611 Kconfig
-rw-r--r-- 307 Makefile
-rw-r--r-- 4650 cpu-8815.c