Update notes for submitted changes

* SeaMicro use device parameter for set_boot_device