Fix up x86_64_sel4 arch after merge

Support a seL4 x86_64 build

fix breakage from introducing bits header for sys/io.h

apparently some other archs have sys/io.h and should not break just
because they don't have the x86 port io functions. provide a blank
bits/io.h everywhere for now.

add port io functions to sys/io.h

based on proposal by Isaac Dunham. nonexistance of bits/io.h will
cause inclusion of sys/io.h to produce an error on archs that are not
supposed to have it. this is probably the desired behavior, but the
error message may be a bit unusual.