* kernel versions on some architectures (for example PPC). FIXME:
* possibly the same should be done on other architectures too.
*/
* kernel versions on some architectures (for example PPC). FIXME:
* possibly the same should be done on other architectures too.
*/