Main kernel core of RetroBSD