Fetch libcore and kernels

Change-Id: Ie7a8d41ed3da7debf8fc7698a1352859362a3757