This does seem to be fixed in 3.8 series kernels.  I just tested 3.8-rc6 and
booted fine into radeondrmfb.  I could get the vgaswitcheroo to move between
the integrated and discrete, but I couldn't get the intel console to work (will
have to check my config).