Retarget to NETMF 4.2.