/* SECURE boot registers */