[Linuxarm] [PATCH RFC 3/4] kernel/resource: Make ioport_resource.start configurable