Проект и порт LPC43xx взяты с SourceForge у автора (TheShed) данного порта ChibiOs. Указанные Вами файлы имеются, доступны и компилируются, о чем свидетельствует появление их OBJ и LST в соотв. папках. Сорри, неверно разглядел - полагал речь об отсутствии порта для LPC43xx. Ну этот файл тоже имеется по обозначенному пути.