Developer option for booting with 16K pages am: 8996ca9768 am: acd2de2533 am: 8e5eff37a9

Original change: https://android-review.googlesource.com/c/platform/packages/apps/Settings/+/2705817

Change-Id: Icaca8a91a01be73cdda9d61e2a2fbb6c82534a47
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>