Fix path to recovery_kernel