[arch-releng] [RFC][PATCH][v2] [configs/releng] Add 32-bit EFI support