Add support for sh2a and sh4a big endian (ie, targets that reflect

hardware that actually exists -- never something to deter gcc folk
though). Now ISA tuning has a chance of producing a bootable kernel,
gcc code generation notwithstanding..