MAINTAINERS: update microbit ARM board files