Why's it GNU/Linux when there's no userspace involved?