[releng] Issue #6879: Changes/32BitUefiSupport