sef: build sef_debug_header only when needed
sef: build sef_debug_header only when needed

veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi