Proste jądro systemu operacyjnego, projekt AK2