the linux kernel for hiveboard