build correct kernel