Comment # 8 on bug 1155170 from Michael Hirmke

[...]
> 
> 4. When the system is up and running, /boot and /boot/efi are not mounting.
                                                                    mounted.
                                                        should read ^^^^^^^
>