display: Use actual kernel headers