hardware: Fix platform for compiling X64 and IA32#315

JDuchniewicz wants to merge 1 commit intoseL4:masterseL4/docs:masterfrom

JDuchniewicz:x86_fixesJDuchniewicz/docs:x86_fixesCopy head branch name to clipboard