Everything is better with lase^H^H^H^Hflash 10.1 ! In any case, if/when we get flash 10.1 flashlauncher will automatically use it (no recompiles necessary, in the worst case we'll have separate config files for flash 9 and 10)

EDIT: And as for the links above - don't get carried away, those are for X86 and desktop GPUs.