PLATFORMS.md: Add bare metal ARM Cortex-M4