kernel - Fix serialization bug in if_ath