use now @Euphoria-OS kernel for hammerhead