GBox kernel fix