Update documentation wrt. 32-bit UEFI support
Originally created by @intrigeri on #9703 (Redmine)
Feature Branch: feature/8471-32-bit-UEFI
Parent Task: #8471 (closed)
Edited by intrigeri
Originally created by @intrigeri on #9703 (Redmine)
Feature Branch: feature/8471-32-bit-UEFI
Parent Task: #8471 (closed)