[patch] Actually support extlinux not being installed