F93's port of Ak-xGenesis kernel to geehrc with some additional features