[PATCH] openfirmware: generate device table for userspace