kernel: Deactivate CONFIG_COMPAT_BRK