Should OpenWrt/LEDE support devices with only 4MB Flash?

YES! Thanks for directing us back to the proper topic at: Updating Standard LEDE Installation/Quick Start page