amend kernel hal