# extra stuff we need for openmoko that is not in linux.inc