kernel: Deactivate B53 symbols in generic configuration