- we need to pass ARCH to the kernel; The kernel does not have a table to

  normalize the passed in ARCH, from the looks, so we have to normalize it manually. XXX: FIXME upstream via a simple shell script like the cc-checks!
  FIXME: flesh this out..