Actually build the Linux headers instead of just copying them from the host system