kernel/resource.c: fix muxed resource handling in __request_region()