Updated seL4 API usage in hardware ioport template
Updated seL4 API usage in hardware ioport template

This renames _IA32 suffixed names to use the _X86 suffix.

smaccm/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool