Was incorrectly added as 7MB for an 8MB SPI flash, but this board has a 16MB chip, not 8MB, so it should be 15MB leaving 1MB for MicroPython. Thanks to @robert-hh