No POD found for kernel_reboot.mpc. Time to read the source?