Always rebuild Linux kernel dependencies as the shipped one may be broken.