b4de39c43c
To simplify the config. This commit does not change the build. Signed-off-by: Damien George <damien@micropython.org>