/^#include <linux\/dvb\/frontend.h>/i\
#include <stdint.h>
s/^#include <linux\/types.h>/#include <stdint.h>/
s/__u8/uint8_t/g
s/__u32/uint32_t/g