Enable EFI kernel configs for all EFI specific machines.

Signed-off-by: Luca Seritan <luca.seritan@huawei.com>