ports-foc: Mention prepare step of dde_ipxe

Thanks to Rudolf Weber for reporting.
ports-foc: assert use of 32-bit platforms

L4Linux does not support x86_64. Detect this case early in the run
script.