GPL3-licensed modules are often not compatible with commercial use. ChibiOS is available also under a free commercial license that frees the user from all the GPL3 requirements. Details about this license:
This license is idea for small productions, prototypes or for people that need more time before a full commitment to the product. Register here for a free license, the provided information could appear here if complete enough.
Features comparison and use cases.