Re: [patch] Actually support extlinux not being installed