A note regarding comment 1: On all architectures != x86_64 'local boot' just exits to the UEFI firmware. There's no change here. If you want that changed, please speak up and we can try to find a better solution.