Anyone knows if Secure Boot on these laptops are locked down, or if they allow users to add additional keys?

i.e. can we run Linux on these?