[Bug] Figure out MicroPython module alignment requirements

[ArcaneNibble]

During the investigation of a crash occurring on EV3, we found that there are potential issues with the data alignment (i.e. to a multiple of 4 bytes) of MicroPython modules. See here.

This may affect modules containing native code.

This needs to be properly specified, and any potential breaking changes need to be coordinated between the firmware and pybricksdev.