inferno on android. linux-dev-names

i suggest do not embed names of Linux devices to source code, but use a configuration file to read it at boot
time. for example, i not have /dev/fb0, but have /dev/graphics/fb0 on my moto droid2 (perhaps there are
other differences. i don't have environment to rebuild now).
in any case, it is not very convenient - recompile for each device for a pair of strings.

thanks