Sorry, this is utter nonsense. The serial_ir driver will load whenever there's an UART present. And as the OP already wrote in his first post that he's not getting any output chances are very high there's nothing attached there.
What kind of output do you expect from a serial port device at boot time?