Dell plans to have a BIOS switch to allow SecureBoot to be disabled, and HP assures us that they will allow consumers to make their own choice as to what operating system to run, though they have not given details as to how.
Link to Original Source
If it's working, the diagnostics say it's fine. If it's not working, the diagnostics say it's fine. - A proposed addition to rules for realtime programming