KMI_SYMBOL_LIST=abi_symbollist
KERNEL_BINARY=vmlinux