ucmb-kernel: Install the header file