David,
using kds 3.0 on Linux, not using sdk. Working on bootloader from code
Alice has sent me.
Using out of the box setup with few changes to make it run, so if you
take the current disti you should see same stuff.
I would also check the linker files, I think they are not quite right
and all of the MKxxx_startup.s files are also missing vectors..
I have the sdk 2.0 for reference and these headers are wrong too, so
seems to be pervasive in older code.
Ken