[Bug 437692] HDLC modules missing in x86_64 kernel