[PATCH] x86-64: Remove unused vxtime.hz field
[pandora-kernel.git] / COPYING