[azbox] fix kernel build