[SRU][K][PATCH 2/6] UBUNTU: [Config] Use mark<ENFORCED> for CONFIG_DEVTMPFS

[Emil Renner Berthing]

The CONFIG_DEVTMPFS and CONFIG_DEVTMPS_MOUNT options have note<ENFORCED>
tags, which should most likely have been mark<ENFORCED>.

Signed-off-by: Emil Renner Berthing <emil.renner.berthing at canonical.com>
---
 debian.master/config/annotations | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian.master/config/annotations b/debian.master/config/annotations
index d80373c9d525..62d3a697e4e5 100644
--- a/debian.master/config/annotations
+++ b/debian.master/config/annotations
@@ -1989,8 +1989,8 @@ CONFIG_DEBUG_TEST_DRIVER_REMOVE                 policy<{'amd64': 'n', 'arm64': '
 CONFIG_TEST_ASYNC_DRIVER_PROBE                  policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 CONFIG_DMA_FENCE_TRACE                          policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 #
-CONFIG_DEVTMPFS                                 note<ENFORCED> note<upstart requirement>
-CONFIG_DEVTMPFS_MOUNT                           note<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS                                 mark<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS_MOUNT                           mark<ENFORCED> note<upstart requirement>
 
 # Menu: Device Drivers >> Generic Driver Options >> Firmware loader
 
-- 
2.36.1