The LSM stacking changes have been significantly modified to address Mimi's concerns about "label collisions". Would you please have a look and see if the issues have been addressed to your satisfaction? I have introduced the boot option and policy specifier suggested. Thank you.
