fix kernel base