Fix library creation

Delete library and create it from scratch to avoid problems with
non-unique file names.
Install missing header files
C++ compatibility for some kernel headers
Add file to ensure some C++ compatibility
nexus: Add DISABLE_INTERRUPT_EXTENSION

Add an easy way to avoid the interrupt extension API for BSPs that do
not support it.