Como lidar com solicitações HTTP OPTIONS no Spring Boot?

Primeiro, eu li "Como lidar com opções HTTP com Spring MVC?"mas as respostas não parecem diretamente aplicáveis ao Spring Boot.

Parece que eu deveria fazer isso:

configure o dispatcherServlet definindo seudispatchOptionsRequest paratrue

Mas como fazer isso, já que não tenho configurações XML ou qualquer variedade deDispatcherServlet classe inicializador no meu código (mencionado por esta resposta)?

Em um@RestController classe, eu tenho um método como este, que atualmente não é chamado.

@RequestMapping(value = "/foo", method = RequestMethod.OPTIONS)
public ResponseEntity options(HttpServletResponse response) {
    log.info("OPTIONS /foo called");
    response.setHeader("Allow", "HEAD,GET,PUT,OPTIONS");
    return new ResponseEntity(HttpStatus.OK);
}

Spring Boot 1.2.7.RELEASE; uma configuração simples não muito diferente daquela emGuia REST de primavera.