original_kernel/drivers/mailbox
..
Kconfig
Makefile
pl320-ipc.c