x86/efi: Correct EFI boot stub use of code32_start
[cascardo/linux.git] / arch / arm / mach-berlin /
drwxr-xr-x   ..
-rw-r--r-- 532 Kconfig
-rw-r--r-- 18 Makefile
-rw-r--r-- 1048 berlin.c