ec172d
config: armv7hl: Disable DECNET DECNET is not enabled on any other arch either and we don't need it