@carlrichell Hopefully the exclusion will include the UEFI too even though most are closed source (I know accounts aren't made in the UEFI but they can be password protected).
Edit: these laws just shouldn't exist in general, no matter what exclusions exist.