This does not cause a boot failure because, it seems, the subsequent search line does find the kernel files. But if that search line is commented out the boot fails.
This does not cause a boot failure because, it seems, the subsequent search line does find the kernel files. But if that search line is commented out the boot fails.