Ну я тебе больше скажу, если память не изменяет - работоспособность RP серии под линуксой (дебиан, в частности, 3.1) подтверждена только при работе одного проца из двух, исключительно в 32-битном режиме и с большим геморроем.
Хотя со скоростью ты прав, думаю в int оно пошустрее должно быть. Возможно. Па-риски ещё до моего полового созревания сдохли, кажись.