CONFIG_85xx is not available for the selected architecture x86.
Result is shown for architecture ppc
CONFIG_85xx (not configurable)
modulename: open_pic.ko
configname: CONFIG_85xx
Linux Kernel Configuration
└─>85xx