ubuntu-linux-kernel/drivers/char/ipmi/built-in.o