- pl
- fix build with ia32 gnu-efi