[kbuild-all] Re: [PATCH RFC 3/4] kernel/resource: Make ioport_resource.start configurable