[PATCH] arm26: add __kernel_old_dev_t for nfsd