Handbook Talk:AMD64/Installation/Kernel/de

[ ] IA32 Emulation

is in

Binary Emulations --->

It should be updated.