Booting Linux now works from the modify boot settings menu.
However, it doesn't currently respect any boot options yet.