Haiku debates kernel switch (but it's not happening)