ubuntu-linux-kernel/drivers/misc/mic/built-in.o