怎么在bios里手动添加32位efi文件位置的。