So, basically, what this laptop offers, is nothing else but coreboot instead of bios/uefi. Hardware buttons to enable/disable were present on laptops for a while. OS - well, debian can be tinkered around, just as any linux to make it secure.