[PATCH 4/8] efi: Drop config.h