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