GCC already has 4 other 16-bit backends (e.g. pdp11), so it should be achievable.