[PATCH] i386: fix CONFIG_EFI help