Description of problem:
The realtime kernel does not have a need to support the IPX protocol stack. Turn off CONFIG_IPX in all RT kernel variants
Done for kernel V1 (-134)
there is a different BZ for kernel v2 that has a bigger list of protocols and features to disable.
Verified against kernel-rt-188.8.131.52-136:
* Checking config
# grep "IPX" config-*
config-generic:# CONFIG_IPX is not set
config-generic:# CONFIG_IPX_INTERN is not set
* Trying to load ipx module
# modprobe ipx
FATAL: Module ipx not found.
An advisory has been issued which should help the problem
described in this bug report. This report is therefore being
closed with a resolution of ERRATA. For more information
on therefore solution and/or where to find the updated files,
please follow the link below. You may reopen this bug report
if the solution does not work for you.