For for broken kernelcache (pre-linked kernel)

Thanks to Jeroen for testing this!