whitespace fix.
Use the new abstraction layer.

Use the platform module instead of aversive.h