Well, if you look at modern IBM System/360 descendants (z/arch, etc), this is almost what they do. Programs are compiled to an IL bytecode, and then recompiled during install to produce a CPU-specific binary. Its largely the same concept.