linux-omap4: upgrade kernel