hercules: fix kernel source

Change-Id: Ie138277e794ccdb58a4e051bb811f797b39afc70