Also rename modmicrobit.h to microbitconstimage.h.
From micro:bit port repository, https://github.com/bbcmicrobit/micropython