Fix 32bit documentation

32bit EFI has been available for quite a long time, but that was
never reflected here. Do so.

Signed-off-by: Marc Zyngier <maz@kernel.org>