Ну указатель буфера можно и не проверять, а безусловно усекать посредством AND+ADD или AND+OR, сделав его длину кратной 2^k и выровняв начало на границу 2^m. А вот реальный MAC будет действительно раз в 6..8 медленнее, чем в dsPIC - разве что 32-битность даст какой-то приварок, но 32-битные MACи не так уж часто нужны