kernel: fix arch-dependent bug in hso module