c8cd5a9960
This commit is a no-op change to simplify existing config. Signed-off-by: Damien George <damien@micropython.org>